luainkernel / lunatik

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

add an optional profiler on lunatik_alloc

lneto opened this issue · comments

perhaps creating a lib/luaprofile