The Muen Separation Kernel is the world's first Open Source microkernel that has been formally proven to contain no runtime errors at the source code level. It is developed in Switzerland by the Institute for Internet Technologies and Applications (ITA) at the University of Applied Sciences Rapperswil (HSR). Muen was designed specifically to meet the challenging requirements of high-assurance systems on the Intel x86/64 platform. To ensure Muen is suitable for highly critical systems and advanced national security platforms, HSR closely cooperates with the high-security specialist secunet Security Networks AG in Germany.
The webpage contains instructions for building the kernel yourself, for installing it in a virtual machine, and for running it on real hardware.
Anybody following tech media in the past few years would instantly recognize the Thorne. He's a fanboy. That is, the kind of crazily obsessed tech enthusiast who appears to have become unhinged somewhere between peeling off his smartphone's screen protector and making his 457th comment on Android Central. He seems to love - as in, romantically love - his phone. He explodes with rage when somebody says anything less than glowingly positive about it.
I've been dealing with fanboys for as long as I'm an OSNews editor - made worse by the fact that I don't really have a strong allegiance to any platform, and therefore, tend to criticise and praise each of them at the same time, on a weekly basis. This means I have to deal with all manner of fanboys, and while it sometimes can be quite tiring, it's just kind of adorable most of the time.
The other side of the coin is being accused of being biased for or against something. I used to maintain a list of all the companies and products I was accused of being biased for or against. Interestingly enough, all of the companies and products mentioned appeared in both the biased for and biased against column. In other words, I was biased for and against every single company and product mentioned on OSNews at the same time.
In the meantime, out in the real world, I try to use as many different products from as many different companies as (financially) possible, so that I gather as much as real-world experience as I can. So, in the past 18-24 months, I've bought a Nexus 7, HTC 8X Windows Phone, Surface RT, iMac, Find 5 (Android), a self-built Windows 8 PC, Nokia E7 (Symbian), iPhone 5S, Jolla, and only last week I added a Nokia N9 to my collection. On top of that, I've used a whole bunch of other classic devices to further expand my horizon. I love technology, regardless of brand or platform.
So yes, I've probably had more experience with fanboys than just about anyone here on OSNews. However, the things I've had to deal with are minute compared to the things people like Joshua Topolsky from The Verge has had to deal with.
The gist of this somewhat random collection of words: be happy OSNews is a relatively small, niche site. Sure, we get into our (in the grand scheme of things, pointless) debates, but at least virtually every regular commenter here displays a reasonable amount of intelligence and restraint. We could do a whole lot worse.
HP really wants people to buy a Windows 7 PC instead of a Windows 8 machine. The PC maker has been emailing customers over the weekend noting that "Windows 7 is back." A new promotion, designed to entice people to select Windows 7 over Windows 8 with $150 of "savings," has launched on HP's website with a "back by popular demand" slogan. The move is clearly designed to position Windows 7 over Microsoft's touch-centric Windows 8 operating system.
Windows 8.x is just fine. Nothing's wrong with it. It's all the users' fault. Windows 8.x is just fine. Nothing's wrong with it. It's all the users' fault. Windows 8.x is just fine. Nothing's wrong with it. It's all the users' fault. Windows 8.x is just fine. Nothing's wrong with it. It's all the users' fault.
We report regularly about Visopsys - one of the few hobby operating systems that survived where virtually all the others (SkyOS, Syllable, etc.) died out. They've got a new website, which seems like a nice occasion to give it some attention again.
The bulk of Visopsys is a fully multitasking, 100% protected mode, virtual-memory, massively-monolithic-style kernel. Added to this is a bare-bones C library and a minimal suite of applications - together comprising a small but reasonably functional operating system which can operate natively in either graphical or text modes. Though it's been in continuous development for a number of years, realistically the target audience remains limited to operating system enthusiasts, students, and assorted other sensation seekers.
Linux kernel 3.13 has been released. This release includes are nftables, the successor of iptables, a revamp of the block layer designed for high-performance SSDs, a power capping framework to cap power consumption in Intel RAPL devices, improved squashfs performance, AMD Radeon power management enabled by default and automatic AMD Radeon GPU switching, improved NUMA and hugepage performance , TCP Fast Open enabled by default, support for NFC payments, support for the High-availability Seamless Redundancy protocol, new drivers and many other small improvements. Here's the full list of changes.
Actually, the movie was largely a lie about me.
This is what happens when a businessman is hyped up into the stratosphere and turned into a messiah - other people get marginalised to further deify the supposed hero.
But at least they're trying, right? Absolutely. I'm glad they are. But it would be awesome if the brilliant minds at Google worked on something everyone reading this would actually want to buy. Not something we probably won't see for years, maybe even decades.
Yeah! I mean, who wants Gmail, Google Search, Chrome, Android, YouTube, AdWords, Google Apps, Maps, and so on, and so forth. All useless stuff nobody wants!
How dare Google focus on more than immediate financial gain, and instead focus on trying to make the roads safer, or helping diabetics, or trying to explore the potential applications of wearable computing! All activities of every company ever should always and exclusively be focussed on immediate financial gain and shareholder returns, or else they'll get brilliant bloggers who contribute so much to the world complaining they can't spend their money right now, right away, now, now!
Google's 'moonshots', or the stuff Microsoft does at Microsoft Research, might not immediately satisfy the grubby little hands of entitled consumers, but thank god they're doing it.
To be sure, it's no magic solution to the gargantuan task of moving the entire Android ecosystem forward. And the update situation for non-flagship devices remains something of a crapshoot. But it's a start, and a big step in the right direction. And as we move from Jelly Bean into the KitKat era, it's enough to give us some hope for the future of Android updates.
Read on to find out why.
Still Android's biggest weakness. Baby steps are made, but a solution there is not.
NTT DoCoMo has shelved plans for a March launch of a smartphone featuring a new operating system called Tizen, dealing a blow to one of the platform's key backers - Samsung
Japan's largest mobile carrier said Friday that the Japanese smartphone market wasn't growing fast enough for it to support a third mobile operating system, a reference to Apple's iOS operating system and Google's Android, which powers the majority of Samsung's devices. In explaining its decision, DoCoMo cited research by IDC Japan showing the country's smartphone market in the April-to-September period grew only 2.2% from a year earlier.
"The market is not big enough to support three operating systems at this time," DoCoMo spokesman So Hiroki said Friday.
The victims of war.
President Obama announced on Friday that he will place new limits on intelligence agencies' bulk collection of phone call records. But he rejected some other recommendations to rein in surveillance made by a panel of outside advisers.
The NYT lists the changes. It's insubstantial.
We're now testing a smart contact lens that's built to measure glucose levels in tears using a tiny wireless chip and miniaturized glucose sensor that are embedded between two layers of soft contact lens material. We're testing prototypes that can generate a reading once per second. We're also investigating the potential for this to serve as an early warning for the wearer, so we're exploring integrating tiny LED lights that could light up to indicate that glucose levels have crossed above or below certain thresholds. It's still early days for this technology, but we've completed multiple clinical research studies which are helping to refine our prototype. We hope this could someday lead to a new way for people with diabetes to manage their disease.
I have no idea if these kinds of wearable technology - like Glass, and now this - are the future or not, but if they are, then Google is clearly quite, quite ahead of the curve.
See the email thread on the misc list for more details.
In light of shrinking funding, we do need to look for a source to cover project expenses. If need be the OpenBSD Foundation can be involved in receiving donations to cover project electrical costs.
But the fact is right now, OpenBSD will shut down if we do not have the funding to keep the lights on.
If you or a company you know are able to assist us, it would be greatly appreciated, but right now we are looking at a significant funding shortfall for the upcoming year - Meaning the project won't be able to cover 20 thousand dollars in electrical expenses before being able to use money for other things. That sort of situation is not sustainable.
The OpenBSD project is the incubator for a number of other projects including OpenSSH and OpenSMTPD. If you use these or just want the project to survive, consider making a donation.
Tantos took over working with the disk. He rewrote the recovery tools, plus a simulator for the software and supporting equipment like printers, monitors, keyboards and more. For the greater part of the last year, he arduously reverse engineered the OS from the image. Despite a few remaining bugs, the Cray OS now works.
This is quite, quite an amazing journey.
Valve has been listening to the feedback they've been getting, including the complaints people have had about the lack of a proper digital, 4-way pad, and now they are set to replace the touchscreen on the controller with a set of 8 individual buttons. (source: Gamespot).
In other news, Valve's Anna Sweet tried to alleviate the concerns various parties have expressed and confirmed that their plan is to bring music, TV and movies on the platform in a streaming form, making it suitable for more than just gaming.
ACM Queue posted an article titled "Unikernels: Rise of the Virtual Library Operating System", written by the main developers of MirageOS. The article is a good overview of the motivation and design of Mirage, which is a specialized lightweight hypervisor guest operating system for Xen. It's developed in OCaml and benefits from its features like memory safety, module system and compiler optimisations. It's comparable to OSv on many fronts.
Elop's decision to focus solely on Windows Phone had one very important side-effect: the Maemo/MeeGo team was suddenly free from all the internal politics, and this meant that they could finally focus on building the best smartphone they possibly could. This phone would be end-of-life even before it appeared on the shelves, and it would have no future. It would be a last big hurrah, a last-ditch, all-in effort - and it resulted in a device that I think is one of the most beautiful pieces of technology ever conceived.
This seems like a good moment to highlight this unique masterpiece - because I'm finally getting one (my brother's parting with his). The white version is the most beautiful piece of technology ever created.
OSv promises "Zero OS management" with "no need for administration, template management, configuration and tuning". Common Java framework integration consists of "frameworks such as Tomcat, JBoss, SpringSource [...]. Common open source technologies such as Hadoop and NoSQL are being optimized and integrated to run on top of OSv."
Mozilla plans to establish an automated process which would verify that binaries contain only the code found in the official source repositories, and not spyware secretly added during the build process at the behest of government intelligence agencies. In a blog post entitled Trust but Verify, CTO Brendan Eich and R&D VP Andreas Gal note that governments "may force service operators [such as Mozilla] to enable surveillance (something that seems to have happened in the Lavabit case)" and pledge to develop systems which will make Firefox resistant to this form of tampering.
Stefano Mosconi (CTO of Jolla) gives a review of the past year, talking about decisions and developments in the company such as changing the SoC manufacturer for their first handset, switching to Wayland with Qt5 for Sailfish and opening their Web store and co-creation site.
The road was extremely tough and still we managed to deliver a product to the market in time. We focused on quality and stability rather than on number of features and we committed to our customers to listen to them and support the phone so it will remain valuable, relevant and well performing. We did this in about 100 guys and girls: we built an OS, an app store, a product, logistic and sales channels, online collaboration tool, SDK and developer intake.