On Thu, Dec 13, 2012 at 4:44 PM, Yinghai Lu <yinghai@xxxxxxxxxx> wrote:On Thu, Dec 13, 2012 at 4:38 PM, H. Peter Anvin <hpa@xxxxxxxxx> wrote:On 12/13/2012 04:13 PM, Yinghai Lu wrote:
It is definitely the minmum we can rely on, and so is the minimum we should
rely on. In fact, we don't even need .bss/.brk to be mapped, but we
probably should require that as a matter of protocol.
in my version of arch/x86/kernel/head_64.S is using BRK to do
ident/kernel high mapping
for kernel that is above 4G.
so .brk is needed.
also need to make sure zero page and command line get ident mapping.
because arch/x86/boot/compressed/head_64.S is using them.