L4minix

Since 2001-03-22, Last Modified 2002-08-06, NII

Yet another L4minix comes out !!
We now have 2 implementations of L4minix: "L4minix-s" and "L4minix-e".

Please visit :

those who want design/implement their own OS,
those who want study and/or modify actual OSs,
those who want a suitable OS for embeded systems, control systems,
those who want study how to use L4,
......

L4minix-s

... New ...

L4minix-s is a straight porting of Minix on the L4-ka micro kernel.

L4minix-e

L4minix-e is an experimental/etude porting of Minix on the L4-ka micro kernel for future extension.
This implementation includes many trial codes and test codes to study L4-ka, Minix and multi-server OS structure: therefore, source programs are very dirty. We learned many techniques by thgis implementation, and they are reflected in L4minix-s. Somedays, we are hoping to clean up coding.