xv6 with Lua