// Main kernel code (duh)