Re: [plex86] modest OSKit success

[Ian Duggan]

> My group here at Utah produces a toolkit called the OSKit that makes it
> easy to build small custom kernels.  I just tried booting a bunch of our
> example kernels on plex86-dt and many of them work.

I had tried many of these on the prior plex86 release, and they worked
there too. I'm hoping to get oskit-mach to boot using plex86 so that we
can use the oskit serial gdb debugging stuff to work on the oskit-mach
kernel.

Just need a little more speed... :)

--Ian