error: you need to load the kernel first