On Wed, 2019-08-14 at 14:36:10 UTC, Christophe Leroy wrote:
> On the 8xx, the layout displayed at boot is:
>
> [0.00] Memory: 121856K/131072K available (5728K kernel code, 592K
> rwdata, 1248K rodata, 560K init, 448K bss, 9216K reserved, 0K cma-reserved)
> [0.00] Kernel virtual
On the 8xx, the layout displayed at boot is:
[0.00] Memory: 121856K/131072K available (5728K kernel code, 592K
rwdata, 1248K rodata, 560K init, 448K bss, 9216K reserved, 0K cma-reserved)
[0.00] Kernel virtual memory layout:
[0.00] * 0xffefc000..0xc000 : fixmap
[