Does FreeBSD/powerpc on the MPC85xx machine use the fake device open firmware tree stuff from uboot (aka dts in the linux kernel sources)? Warner