On Fri, Aug 13, 2010 at 7:24 AM, Wookey <wookey@wookware.org> wrote: > This is not technically a debian-arm subject as such, although as > Debian does support kernels other than Linux as well as architectures > other than x86 I guess it's as good a place to ask as any. You might also check in with the Minix guys on their mailing list(s), they might be able to offer some guidance too. b.g. -- Bill Gatliff bgat@billgatliff.com