i've merged those additions into inferno-os on googlecode, except for the change to mkconfig that forced arm objtype. (use objtype=arm mk ... on Plan 9.)