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 ...
The leading one of these is Linux. Finally, although it’s reasonable to call Unix an “operating system,” as a practical matter it is more. In addition to an OS kernel, Unix implementations typically ...