Sebastian Herbszt wrote: > > 2. Maybe set vk_type to a new value which represents localboot? VK_LOCAL? > We could check for the "localboot" pseudo-kernel by just checking vk_type. > Yes, I think that's the right thing to do. -hpa