On 11/01/2018 11:29, Thomas Huth wrote: >> + /* leave another extra page free */ >> + freemem_start = ((phys_addr_t)&stacktop + PAGE_SIZE) & PAGE_MASK; > <bikeshedpainting> > I think I'd rather move that above line into mem_init() instead... > </bikeshedpainting> Also say why. :) Paolo
