On Mon Dec 6 20:14:54 EST 2010, [email protected] wrote: > On Mon, Dec 6, 2010 at 5:08 PM, Paul Lalonde <[email protected]> wrote: > > I got it clean, finally. I had mis-mapped some pieces while updating my x86 > > userland, without which 5c crapped out a lot. > > Next question: How do I build my plug kernel? Among my early build > > problems: > > mk: no recipe to make 'devtwsi.5' in directory /sys/src/9/kw > > ../boot/libboot.a5 doesn't exist: assuming it will be an archive > > mk: no recipe to make 'syscallfmt.5' in directory /sys/src/9/kw > > I'm not finding current "how to build a kernel" bits anywhere :-( > > > > > The guys are always improving things :-)
you can just chop twsi out of your kernel configuration and build. i'd be happy to put a pre-built arm kernel out, too. - erik
