> > That would be great - it has pretty much stalled for too long > > already! > > If you need any insights, feel free to ask. In a nutshell, the PPC > > port > > is still missing many arch_*() kernel functions (in src/system/ > > kernel/ > > arch/ppc). IIRC the next stopping point was missing PCI support (to > > be > > able to identify the boot volumes). > > Unless changes to the bus manager broke it in the meantime, PCI > should be > OK. The interrupt controller module I ported might be buggy, though. > Other > than that what prevented mounting the boot value were missing drivers > (either a NIC driver for network boot or a driver for disk access). > The > most immediate problem of the PPC port is to fix the gcc port, so > that it > can build the kernel again. > That was solved the other day, Travis found removing the -shared from linkhack.so target worked. It should be tested with other platforms though. François.