forgot to mention I've been looking at L4

leinadlime · Oct 15, 2017 · fa0ce31 · fa0ce31
1 parent 2a52ea0
commit fa0ce31
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/TODO.md b/TODO.md
@@ -103,4 +103,5 @@ useful text processing and helpful commands would go a long way.
 * Other targets and platform configs. RISC V and MIPS targets. Bare metal PI3
 and other Aarch64 development board support along with GPIO/SPI/I2C and so
 forth for the maker community. SDL over frame buffer version for PI3, maybe
-just needs testing, but needs doing.
+just needs testing, but needs doing. L4 micro kernel hosted version could prove
+interesting.