diskboot.img
grubboot.img
l4kernel
