A barebones kernel for i386