323 The Right Way: Managed Resource Allocation in Linux Device Drivers Eli Billauer 26/5/2014