web analytics
Linux | Ada Forge - News

Muen microkernel 0.7 relesaed

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).

The following major features and improvements have been implemented :
  • Support for Genode VM subjects
  • Subject time mechanism
  • Hardware and platform policy abstractions
  • Linux virtual filesystem and network interface drivers
Read More…

Ada packages on Archlinux updated to GPL15

The new packages are on AUR4.
Read More…