function boot_kernel(...)
	local knl, env = load_velx(computer.getBootAddress(), "kernel.velx")
	local iramfs = load_tsar(computer.getBootAddress(), "initramfs.tsar")
	env._ARCHIVE = iramfs
	knl(...)
end