os161 / kern / dev / lamebus