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

Reply via email to