Wojciech Zajac 187bd3cde6 DDEKit interrupt fix
- With this patch, DDEKit no longer uses IRQ number as interrupt ID
      and more IRQ numbers can be used with it

    - DDEKit IRQ code, will now check return values and panic on error

Change-Id: I9ef5ab1ee2262242204bdd8c0a60459a19ddcc1b
2014-08-19 18:24:29 +02:00
2014-07-28 17:06:36 +02:00
2014-07-28 17:05:59 +02:00
2014-08-01 14:58:40 +02:00
2014-08-14 19:02:53 +02:00
2014-08-07 14:27:32 +02:00
2014-07-28 17:05:50 +02:00
2014-08-07 14:27:32 +02:00
2014-07-31 16:00:30 +02:00
2014-07-31 16:00:30 +02:00
2014-07-28 17:05:59 +02:00
2014-08-19 18:24:29 +02:00
2014-08-08 17:42:41 +02:00
2014-07-28 17:05:59 +02:00
2014-07-31 16:00:30 +02:00
2014-07-28 17:05:59 +02:00
2014-07-31 16:00:30 +02:00
2014-07-31 16:00:30 +02:00
2014-07-31 16:00:30 +02:00
2014-07-28 17:05:57 +02:00
2010-01-21 10:16:05 +00:00
2014-07-31 16:00:30 +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%