kernel {	name = "Linux 1.3.45";	path = "/vmlinuz-1.3.45";	root = "/dev/ima";	flags = readonly;};riscos {	name = "Risc OS";};kernel {	name = "Linux 2.0.13";	path = "/vmlinuz-2.0.13";	root = "/dev/ima";	flags = readonly;};