diff --git a/TODO.md b/TODO.md
index 511869d42..035fb5bbe 100644
--- 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.
\ No newline at end of file