Lunatik: Lunatik is a framework for scripting the Linux kernel with Lua