# this is a configuration to start 'hello' require("L4"); L4.default_loader:start({}, "rom/hello");