[08:54] <doa> anyone ever compiled a kind of microkernel  called  l4ka?
[08:55] <doa> http://www.l4ka.org/120.php
[20:34] <doa> hi