I've used Linux for decades, but I'd switch to FreeBSD for this one feature

ZDNET's key takeaways FreeBSD is one of the most stable OSes on the planet.FreeBSD is also more challenging than Linux.You ...
Hosted on MSN

Ironclad OS project popping out Unix-like kernel in a unique mix of languages

If you're looking for a Unix-like, POSIX-compatible, real-time kernel, there's no shortage of projects trying to build one. Ironclad stands out for using the Ada programming language and its formally ...