Kees Jongenburger eec4c10f33 arm:ddekit use simple alloc to allocate stack.
Workaround for:
-ddekit large alloc unnecessarily allocating physical contiguous memory.
-the ARM port expecting that physical contiguous memory equals device memory.
2014-07-28 17:05:24 +02:00
2014-07-28 17:05:23 +02:00
2014-07-28 17:05:23 +02:00
2014-07-28 17:05:23 +02:00
2014-07-28 17:05:22 +02:00
2014-07-28 17:05:20 +02:00
2014-07-28 17:05:24 +02:00
2014-07-28 17:05:23 +02:00
2014-07-28 17:05:23 +02:00
2014-07-28 17:05:23 +02:00
2014-07-28 17:05:23 +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%