=== thomi is now known as sloecodejenkins
=== sloecodejenkins is now known as jbot
=== jbot is now known as ci_bot
=== ci_bot is now known as thomi
[08:54] <doa> anyone ever compiled a kind of microkernel  called  l4ka?
[08:55] <doa> http://www.l4ka.org/120.php
=== panda is now known as Guest10423
[20:34] <doa> hi