
bus, and time base frequency) in the PPC boot loader, and propagate them to the kernel via kernel_args. * Now we use the correct time base frequency for timer calculations. * Implemented PPC specific system info stuff. Added a few PPC CPU types to <OS.h>. git-svn-id: file:///srv/svn/repos/haiku/haiku/trunk@15817 a95241bf-73f2-0310-859d-f6bbb57e9c96