[LUG.ro] The BareMetal OS - For a lean, mean, processing machine

[Horacio Castellini]

BareMetal  es un sistema operativo de código libre ( Licencia BSD (1)) 
de 64 bits para arquitecturas x86-64. Está escrito en ensamblador y las 
aplicaciones pueden desarrollarse en ensamblador o en C/C++. 
Recientemente se ha publicado la versión 0.4.8

Por ahí será una alternativa futura al kernel Linux. Como lo que se está 
intentando con el kernel FreeBSD y Debian.. todo dependerá de la 
comunidad...

http://www.returninfinity.com/baremetal.html

(1) Se distribuye según esta licencia... 3-clause license ("New BSD 
License")


http://en.wikipedia.org/wiki/Bsd_license#3-clause_license_.28.22New_BSD_License.22.29