On Mon, Dec 6, 2010 at 5:54 PM, erik quanstrom <quans...@quanstro.net> wrote: > On Mon Dec 6 20:14:54 EST 2010, rminn...@gmail.com wrote: >> On Mon, Dec 6, 2010 at 5:08 PM, Paul Lalonde <paul.a.lalo...@gmail.com> >> 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.
I just committed a new sysfromiso with that file added. ron
