OMinix — toward a HOT microkernel OS

The purpose of this project is to enhance MINIX 3 reliability, security, and tractability by rewriting components of it in the Higher Order, Typed ('HOT') language OCaml. The current focus is on device drivers.

Very alpha

The code in this project does not work as of right now. It embodies a project that could be very interesting, if it worked, and this is why I am making it available. Also, the OCaml port for MINIX 3 and the with(1) utility may be useful by themselves.

Find out more

You can read the current README. To get the source, click the source tab. You'll have to pull it from SVN.

License

The license for OMinix is actually the VU license, which is what MINIX 3 comes under these days. The VU license is basically New BSD, but with the additional (and as far as I can tell vacuous) condition that 'any deviations from these conditions require written permission from the copyright holder in advance.'

Old page

The OLD project page is at https://gforge.cs.vu.nl/scm/?group_id=35 . Please note that in the future, the old project page will not be used. The project has been permanently transferred to Google Code. That way, it will be more accessible for people outside of VU and easier for me to maintain.