alcedo/kernel.nim