Antoine Leca d5e4fc0151 Fix Makefile.boot small issue sync'ing with NetBSD
Change-Id: I4f8cbfb9d4b6be8b31ce705cbecc4b12b7e1fe45
2017-05-08 12:15:09 +00:00
2016-01-13 20:32:52 +01:00
2016-01-13 20:32:50 +01:00
2017-05-06 14:43:03 +02:00
2017-04-30 13:16:22 +00:00
2017-04-30 13:16:22 +00:00
2017-05-08 11:53:38 +00:00
2017-03-21 22:00:18 +00:00
2017-05-07 14:02:00 +02:00
2017-04-30 13:16:22 +00:00
2016-01-16 14:04:25 +01:00
2016-09-01 21:16:13 +02:00
2017-03-09 23:40:16 +00:00
2017-02-23 14:08:39 +00: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%