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 ...
HelenOS is a microkernel-based OS aiming to be a research vehicle for operating system design. Aesthetically, HelenOS resembles Windows 3.1 and 95 with nostalgic appeal. HelenOS is in early stages of ...
Huawei is developing a new operating system called Harmony OS NEXT. Unlike their previous systems, this one won’t support Android apps, marking a big shift. Now they’re making an even more notable ...