Re: 64-bit bootloaders

['Anil Madhavapeddy' <anil@xxxxxxxxxx>]

On Thu, Jul 05, 2012 at 10:07:59PM +0100, Dave Scott wrote:
> Hi,
> 
> I downloaded the pre-prepared disk image and this worked just fine. I
> think my misunderstanding was that boot16b.bin (bootsector on bootable
> partition) loads pure64.sys from the FAT16 fs and then this reads
> pure64.cfg which tells it to load kernel64.sys, switch to 64-bit and
> jump.

I didn't quite manage to parse this sentence.  Is the above the correct
state of affairs, or the result of your misunderstanding? :-)

> Anyway, the easy way to hack on this is just to replace kernel64.sys on
> the pre-prepared disk and reboot. I replaced it with the (obviously
> inappropriate) .text section of a PV kernel and it GP faulted somewhere,
> helpfully dumping register contents.
> 
> Now I've just got to learn some asm :-)

Hopefully, you shouldn't need to I think? The distribution seems to have a
working newlib, which is definitely enough to get libasmrun compiling...

-anil