Small kernel made with Bochs