Re: Unable to boot 64bit hello
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/