ACPI: boot correctly with "nosmp" or "maxcpus=0"
[powerpc.git] / Documentation / uml /
drwxr-xr-x   ..
-rw-r--r-- 125000 UserModeLinux-HOWTO.txt