Misc system software for DracoLinux