[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.