function actions.velxboot()
	os.execute("mkdir -p build/velxboot")
	os.execute("cd extras; luacomp velxboot/init.lua -O ../build/velxboot/bios.lua")
	os.execute("cd extras; luacomp velxboot/flashvelxboot.lua -O ../build/velxboot/flashvelxboot.lua")
end

actions[#actions+1] = "velxboot"