[MirageOS-devel] MirageOS can shape reentrancy in Unix-like kernel?

[Kiwamu Okabe <kiwamu@xxxxxxxxxxxx>]

Hi all,

I'm interested in your Mirage OS running on Bare Metal hardware.
My question is that it can shape reentrancy in Unix-like kernel?

I found http://metasepi.org/  that aim to be Unix-like OS with strong type.
Today we choose ATS language.

http://www.ats-lang.org/

However, ATS is hard for normal programmer.
If Mirage OS can write Unix kernel in future, our project is so happy.

Thank's,
-- 
Kiwamu Okabe at METASEPI DESIGN

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel