Unable to boot 64bit hello

[Adam Lackorzynski]

On Sun Jun 09, 2013 at 17:06:50 +0200, Daniel Müller wrote:
> I tried booting a 64bit hello world program on L4/Fiasco but that
> fails with a region overlap:
> 
> =============================================
> xc: info: VIRTUAL MEMORY ARRANGEMENT:
>   Loader:        0000000000100000->000000000019dd88
>   TOTAL:         0000000000000000->000000007f800000
>   ENTRY ADDRESS: 0000000000100000
> xc: info: PHYSICAL MEMORY ALLOCATION:
>   4KB PAGES: 0x0000000000000200
>   2MB PAGES: 0x00000000000003fb
>   1GB PAGES: 0x0000000000000000
> Daemon running with PID 9320 net0: 00:16:3e:72:79:e5 using rtl8139
> on PCI00:04.0 (open)
>   [Link:up, TX:0 TXE:0 RX:0 RXE:0]
> DHCP (net0 00:16:3e:72:79:e5)... ok
> net0: 192.168.178.200/255.255.255.0 gw 192.168.178.54
> Booting from PXE menu
> boot
> PXEBS (net0 type 128).... ok
> Next server: 192.168.178.54
> Filename: pxeboot.0
> tftp://192.168.178.54/pxeboot.0... ok

So the environment is a Xen HVM and pxeboot.0 being the multiboot
loader?



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/