ok, i prepared a kernel with debug prints. (i basically buffer the debug outputs in kmesg and dump them on the serial console and screen once they get initialized).
http://felloff.net/usr/cinap_lenrek/9pi4 i suspect that the device tree /memory/reg property might not be a single 12 byte entry. and thats why theres no *maxmem variable in #ec. i also added some prints to fbinit() just to make sure... on my pi4, i get: /memory/reg[12]: 00000000000000003E600000 confinit: *maxmem=0x3e600000 confinit: memsize=0x3e600000 confinit: getramsize() => 00000000 00000000 confinit: mem[0] => 00000000 3e600000 127 holes free 0x00670000 0x19310000 415891456 415891456 bytes free fbinit: 1280x1024x16 fbinit: base=fed7b000 fbinit: va=ffffffff1ed7b000 Plan 9 ... -- cinap