[Gc-linux-devel] Gekko PowerPC Model Number

[DCGrendel <dcg...@co...>]

Ok, I'm a bit confused at where I am right now...
Some places I've seen say the gekko is based on the 405, others the 750cxe
Which is it? from what I've seen browsing around in the pgtables.h 
theres a big difference on bit allocation in the page tables for the 40x 
line and the 7xx line...


-DCG