As far as I can tell, the PrPMC2800 is basically a lead-free PowerPMC280 with a bit more boot flash. Has anyone booted current mainline kernels on a PowerPMC280? If so, what config and bootloader options are required? Thanks, Chris