Lionel Sambuc ecad34966a Fix ARM floating point for services
Change-Id: Ic5772a7a78ea13ab6bb8db3ffd7f0906fd1380cf
2014-07-28 17:05:40 +02:00
2014-07-28 17:05:20 +02:00
2014-07-28 17:05:40 +02:00
2014-07-28 17:05:23 +02:00
2014-07-28 17:05:24 +02:00
2014-07-28 17:05:23 +02:00
2014-07-28 17:05:38 +02:00
2014-07-28 17:05:40 +02:00
2014-07-28 17:05:23 +02:00
2014-07-28 17:05:23 +02:00
2014-07-28 17:05:20 +02:00
2014-07-28 17:05:23 +02:00
2014-07-28 17:05:20 +02:00
2010-01-21 10:16:05 +00:00
2014-07-28 17:05:12 +02:00
Description
A fun microkernel meant to match modern usecases
GPL-3.0 148 MiB
Languages
C 78.2%
Roff 10.2%
Assembly 4.6%
Shell 3.7%
Makefile 1.6%
Other 1.2%