François Revol 1026b0a1a7 ppc: use 64 bit physical addressing ...

* At least the 4xx cpu types use PAE-like 36 bit addressing, including for mapped peripherals.

2012-08-15 19:41:52 +02:00

..

build

…

compatibility

…

config

ppc: use 64 bit physical addressing

2012-08-15 19:41:52 +02:00

cpp

…

glibc

…

libs

…

os

…

posix

…

private

…

tools

…