Tuna device stuff, no kernel for now...