I tried to get a working 64bit kernel for SNI RM. Most of things to fix were quite obvious, but there is one thing, which I haven't understood yet. The firmware is only able to boot ELF32 images, which mean I need to use BOOT_ELF32. RM machines have 256MB memory mapped to KSEG0, anything else is outside. To me that would mean I need to use the default spaces from mach-generic/spaces.h. A kernel built that way will hang after calling schedule() in rest_init() (init/main.c). Has anybody seen this as well ? Before digging into schedule() I decided to try mach-ip22/spaces.h and limit the installed memory to 256MB. This kernel boots and runs fine. Then I booted that kernel with all memory (512MB) and it died, when init had troubles mapping libc. That result didn't surprise me that much, since the kernel probably tried to map memory > 256MB via CKSEG0, which won't work. Correct ? Thomas. -- Crap can work. Given enough thrust pigs will fly, but it's not necessary a good idea. [ RFC1925, 2.3 ]
