Hi,
I just succeeded in booting Linux on Fiasco. Just in case anyone is interested, here are the warnings I got while booting: (both packages are of 12/07/98, compiled under Linux)
----------------------------------- Welcome to Fiasco! DD-L4/x86 microkernel (c) 1998 TU Dresden - Dec 24 1998 linux_startup checking OFFS_TSS: ok, OFFS_TSS still 536 detect processorsetup_paging end linux_startup, calling start_kernel setup_arch sigma0 denies mapping of address 00001000 No kernel code/data sigma0 denies mapping of address 00002000 No kernel code/data [...] sigma0 denies mapping of address 00149000 No kernel code/data
mb4 already requested
4m page received sigma0 denies mapping of address 00ccc000 No kernel code/data
Memory end: 00ccc000
kernel info page mappt to: 00001000 root: rcvd 2, 424a25 Hmm, strange, that shouldn't happen anymore Root: null pointer deref in 5.3 at addr: 2 and eip: 424a25 (pte: 27) -------------------------------------
Then Linux tries to initialize the serial driver and stops because I logged this messages over serial cable. When I boot it without cable, everything works fine and stable, I just get *a lot of*
wake_idle_if_needed: ipc failed
messages, but this seems to be no problem. The only thing I`ve found that doesn`t work is XFree86, when I try to start it, the machine freezes with blank screen. Today I`ll try to get pcmcia running.
Ok, now my questions :)
1) Are there any documents you suggest reading, besides the L4 Reference Manual? Any document would be of use, since I don`t have a clue on L4, but I want to play around with it. Is there anything like "L4 for dummies" ? :)
2) Is Fiasco capable of running multiple servers at once? I tried to start two instances of this helloworld-server, but it crashed immediately.
3) Is there a simple way to reboot the system after Fiasco startet? My Laptop has no reset button :)
Ok, I`ve already stolen enough of your time, many thanks for being patient with me :)
MfG Benjamin
"BG" == Benjamin Gerfelder benjamin@dante.saar.de writes:
BG> 1) Are there any documents you suggest reading, besides the L4 Reference BG> Manual? Any document would be of use, since I don`t have a clue on BG> L4, but I want to play around with it. Is there anything like BG> "L4 for dummies" ? :)
Try the L4 User Manual available from http://www.cse.unsw.EDU.AU/~disy/L4/. Examples are based on L4/MIPS but should translate easily to the intel version.
Gernot -- Gernot Heiser ,--_|\ School of Computer Sci. & Engin. Phone: +61 2 9385 5156 / \ The University of NSW Fax: +61 2 9385 5995 _,--._* Sydney, Australia 2052 E-mail: G.Heiser@unsw.edu.au v http://www.cse.unsw.edu.au/~gernot PGP fingerprint = 94 1E B8 28 25 FD 7C 94 20 10 92 E5 0B FF 39 8F
l4-hackers@os.inf.tu-dresden.de