Prototyping linux kernel drivers in lua in userspace