On Thu, 3 Aug 2023 at 15:24, Ard Biesheuvel wrote:
>
> The x86_64 Linux kernel can be booted in 32-bit mode, in which case the
> startup code creates a set of preliminary page tables that map the first
> 1GiB of physical memory 1:1, and enables paging. This is a prerequisite
this should be '4 GiB
On Thu, 14 Sept 2023 at 18:31, Daniel Kiper wrote:
>
> On Mon, Aug 21, 2023 at 09:51:13PM +0200, Vladimir 'phcoder' Serbinenko wrote:
> > I think we need to start having options to specify which entry to use. E.g
> > linux --no-efi-stub /vmlinuz
> > This is probably needed to support other users o
On Mon, Aug 21, 2023 at 09:51:13PM +0200, Vladimir 'phcoder' Serbinenko wrote:
> I think we need to start having options to specify which entry to use. E.g
> linux --no-efi-stub /vmlinuz
> This is probably needed to support other users of Linux protocol
If somebody needs that thing they can add it
On Wed, Sep 06, 2023 at 11:19:55AM +0200, Ard Biesheuvel wrote:
> On Mon, 21 Aug 2023 at 20:10, Ard Biesheuvel wrote:
> > On Thu, 3 Aug 2023 at 15:24, Ard Biesheuvel wrote:
> > >
> > > The x86_64 Linux kernel can be booted in 32-bit mode, in which case the
> > > startup code creates a set of prel
On Mon, 21 Aug 2023 at 20:10, Ard Biesheuvel wrote:
>
> On Thu, 3 Aug 2023 at 15:24, Ard Biesheuvel wrote:
> >
> > The x86_64 Linux kernel can be booted in 32-bit mode, in which case the
> > startup code creates a set of preliminary page tables that map the first
> > 1GiB of physical memory 1:1,
I think we need to start having options to specify which entry to use. E.g
linux --no-efi-stub /vmlinuz
This is probably needed to support other users of Linux protocol
Le lun. 21 août 2023, 20:12, Ard Biesheuvel a écrit :
> On Thu, 3 Aug 2023 at 15:24, Ard Biesheuvel wrote:
> >
> > The x86_64
On Thu, 3 Aug 2023 at 15:24, Ard Biesheuvel wrote:
>
> The x86_64 Linux kernel can be booted in 32-bit mode, in which case the
> startup code creates a set of preliminary page tables that map the first
> 1GiB of physical memory 1:1, and enables paging. This is a prerequisite
> for 64-bit execution
The x86_64 Linux kernel can be booted in 32-bit mode, in which case the
startup code creates a set of preliminary page tables that map the first
1GiB of physical memory 1:1, and enables paging. This is a prerequisite
for 64-bit execution, and can therefore only be implemented in 32-bit
code.
The x
