- l4-hackers - example.com Site

Re: Fehler beim Booten von Fiasco
by Michael Hohmuth 23 Oct '98

23 Oct '98

Hi Konrad, l4-hackers is an international mailing list; the discussion language is English. If you need to discuss something in German, please contact <fiasco-core(a)os.inf.tu-dresden.de>. Also, I guess I now have to set up a mailing list archive -- the issues you raised have popped up several times now. Konrad Neitzel <neitzel(a)neitzel.de> writes: > main.cc:174: failed check > 'space_index_t(i).set_chief(space_index(),space_index_t(config::boot_taskno))' Please apply the patch at <URL:ftp://ftp.inf.tu-dresden.de/pub/os/L4/fiasco/fiasco-l4-981012.patch-01.gz> -- it should fix this bug. The problem was caused by an incomplete constructor which assumed statically-allocated storage would be zero-initialized. > [ other minor build problems many people have stumbled across ] I'll address these in a small patch to be released next week. Thanks for trying Fiasco! Michael -- hohmuth(a)innocent.com, hohmuth(a)sax.de http://www.sax.de/~hohmuth/

2 1

Fehler beim Booten von Fiasco
by Konrad Neitzel 23 Oct '98

23 Oct '98

Hallo, entschuldigt, dass ich euch damit nerve, aber bisher weiss ich noch nicht genug ueber Fiasco, als dass ich den Fehler selber finden koennte (aber das wird dann ja in der Zukunft vielleicht noch was :) ) Ich erhalte beim Boot folgenden Fehler: main.cc:174: failed check 'space_index_t(i).set_chief(space_index(),space_index_t(config::boot_taskno))' (Hoffentlich habe ich mir das jetzt so richtig notiert :) ) Ich habe mir die aktuellen Sourcen vom Server geholt, und Sie auf meinem SuSE 5.2 System compiliert. (gcc 2.7.2.1) Bei meinem Rechner handelt es sich um einen K5-166 mit 128 MB Hauptspeicher. Boot-configuration ist wie in der Webseite angegeben (einfaches staren vom "hello world" Programm. Beim compilieren ist mir aufgefallen: - nach dem start von make im verzeichnis l4 meckert er, dass er "configure" nicht findet, wenn "." nicht im Pfad ist. - Er meckert in zwei Verzeichnissen, dass er verschiedene .d Files nicht findet. Da keine solchen Files irgendwo zu finden sind, mache ich mir da auch keine weiteren Gedanken drueber. (Auf Wunsch kann ich dies noch genauer schildern!) -Im Makefile unter l4/server/rmgr/src/ hat er als Yacc "byacc" eingetragen - ein solcher existiert in meinem System aber nicht. Ich habe diesen Eintrag einfach in "yacc" geaendert (Falls dies mein Fehler sein sollte, so tut mir das leid - dann wuerde mich interessieren, wie ich den Fehler umgehen kann!). Ich wuerde mich freuen, wenn Ihr mir helfen koenntet. Greetings, Konrad Neitzel -- Konrad Neitzel neitzel(a)neitzel.de

1 0

Re: Compilations- und Bootproblem mit Fiasco/L4
by Michael Hohmuth 22 Oct '98

22 Oct '98

Harald, l4-hackers is an international mailing list; the discussion language is English. If you need to discuss something in German, please contact <fiasco-core(a)os.inf.tu-dresden.de>. Harald Fritzsche <Harald.Fritzsche(a)mpd.de> writes: > make[2]: Entering directory > `/volumes/v3/HOME3/FRITZSCHE/L4/l4-981012/oskit/examples' > ld -Ttext 100000 -L../lib \ > -o multiboot-smp ../lib/multiboot.o multiboot-smp.o > \ > -lsmp -lkern -lmc -llmm ../lib/crtn.o > ../lib/libsmp.a(boot.o): In function `_SMP_TRAMP_START_': > boot.o(.text+0x29): relocation truncated to fit: R_386_16 > _SMP_TRAMP_32_ENTRY_ This has been reported before; however, I cannot reproduce this. A simple workaround is to "touch oskit/examples/multiboot-smp" -- this program isn't really needed. > main.cc 174 check failed Please apply the patch at <URL:ftp://ftp.inf.tu-dresden.de/pub/os/L4/fiasco/fiasco-l4-981012.patch-01.gz> -- it should fix this bug. The problem was caused by an incomplete constructor which assumed statically-allocated storage would be zero-initialized. Michael -- hohmuth(a)innocent.com, hohmuth(a)inf.tu-dresden.de http://home.pages.de/~hohmuth/

2 1

Compilations- und Bootproblem mit Fiasco/L4
by Harald Fritzsche 21 Oct '98

21 Oct '98

Hallo an alle Fiasco-Entwickler und Beteiligte! Ich habe euer FIASCO-Packet -981012- zum Ausprobieren beschafft. Das kompilieren des OS-Kits führt im Directory examples zu nachfolgend aufgeführten Problemen: Ich benutzte den g++ (siehe unten) und SuSe-Linux5.3. gcc -v Reading specs from /usr/lib/gcc-lib/i486-linux/2.7.2.1/specs gcc version 2.7.2.1 Hier beginnt das Problem: make[2]: Entering directory `/volumes/v3/HOME3/FRITZSCHE/L4/l4-981012/oskit/examples' ld -Ttext 100000 -L../lib \ -o multiboot-smp ../lib/multiboot.o multiboot-smp.o \ -lsmp -lkern -lmc -llmm ../lib/crtn.o ../lib/libsmp.a(boot.o): In function `_SMP_TRAMP_START_': boot.o(.text+0x29): relocation truncated to fit: R_386_16 _SMP_TRAMP_32_ENTRY_ Alle zum Booten notwendigen Datein gemäß use.html waren erzeugbar. (byacc durch yacc ersetzt) Das Booten (Start von hello) schien erfolgreich zu laufen, aber der Kernel bringt eine Fehlermeldung ohne das eine "hello" erfolgt.: main.cc 174 check failed (sinngem"as) Das passiert sowohl auf einem AMD Proc. (~ Pentium 75, zu Hause) als auch einem Pentium II/233 (auf Arbeit.) Debuggen kann ich mangels zweitem PC nicht. Bin gern bereit mehr Info zu liefern, oder meine Fragen in englisch zu formulieren. mfg. Harald Fritzsche

1 0

Portability and bug fixes for Fiasco
by Michael Hohmuth 15 Oct '98

15 Oct '98

Fiasco now also compiles with egcs-1.0 and egcs-1.1. (Egcs-1.1 will whine a bit that it ignores many "volatile"s for asm() statements, but this is not a serious problem; this will be fixed with the next OSKit update.) I've created a patch that contains Kevin Moule's numerous ANSI C++ fixes (many thanks!), some compatibility code for the various compiler versions, a workaround for a compiler bug (egcs doesn't like template functions containing inline assembler statements), and a bug fix for the space_registry_t constructor. This patch will be uploaded to ftp.inf.tu-dresden.de (once the admins have created some free space on the ftp partition :-), and because it's short, I've also attached it to this message. Please note that the installation instructions on the web site contained an error: The "-sigma0" option was missing in Fiasco's command line in the GRUB config file. Thanks to Andrew Thomas for stepping into this trap! Michael -- hohmuth(a)innocent.com, hohmuth(a)inf.tu-dresden.de http://home.pages.de/~hohmuth/

2 1

Re: Fiasco: A new L4-compatible microkernel
by Michael Hohmuth 14 Oct '98

14 Oct '98

OKUJI Yoshinori <okuji(a)kuicr.kyoto-u.ac.jp> writes: > Congratulations! May I "mirror" Fiasco and its development toolkits? Yes, of course! However, I request that people who mirror Fiasco tell me about it so that I can list the mirrors on the Fiasco website. Michael -- hohmuth(a)innocent.com, hohmuth(a)sax.de http://www.sax.de/~hohmuth/

2 1

Fiasco: What's happening
by Michael Hohmuth 14 Oct '98

14 Oct '98

Dear readers of the L4-Hackers mailing list, first, a big ``Thank you!'' to all who have sent congratulations, best wishes, and even bug reports and code contributions! We really appreciate your interest! This message is intended to plug this mailing list a bit. Currently, people prefer to send their questions and problem reports to me privately instead of publicly on this mailing list. This is OK, but I do invite you to discuss Fiasco on this list so that other people can see what's going on, learn, and maybe even contribute. (Otherwise, I ask you to at least Cc your messages to <fiasco-core(a)os.inf.tu-dresden.de> so that the other members of Team Fiasco can follow the discussion.) To initialize you with some current information, I'm now going to post a summary of what is happening so far: It seams that the Fiasco build process is quite dependent on our current build environment: Gcc-2.7.2.3, Binutils-2.9.1. I am planning to switch this to Egcs-1.1 soon (and to make Fiasco more portable to other compiler versions in the process). One contributor has sent patches that make Fiasco compile with Egcs (thanks again!), and I'm going to release an update as soon as some problems with them are sorted out: Egcs doesn't seem to like inline assembly very much, especially in template functions (this even leads to an internal compiler error) and when using lots of register constraints. Some people have experienced crashes in the early kernel boot process. That's why, here are some hints at debugging: Fiasco can be source-level-debugged using a remote debugger running on a second machine via a serial connection: Just connect one of your test machine's serial ports (default: COM2) to your development host using a null-modem cable. Edit fiasco/src/.gdbinit to match your host's serial port, remove the "-nowait" boot option from your GRUB config file, reboot Fiasco, and start your GDB (or your favorite GDB-based debugger) when the "KDB: init" message appears. You can then set breakpoints, continue the execution, and even interrupt Fiasco by typing Control-C in the debugger. Here are some useful boot options for Fiasco (`main'): - "-nowait" removes the initial "KDB: init" breakpoint. The installation instructions on the Fiasco web site recommend this option; if you plan to do some serious debugging, you shouldn't use it. - "-nokdb" disables the kernel debugger. Should Fiasco raise an exception, it will just dump its register contents and die. - "-comspeed n" will set the rate of the serial interface to n bytes/second. 115200 bytes/second is the default. - "-comport n" will use COMn for serial communication. COM2 is the default. - "-hercules" will output kernel messages to a Hercules (or MGA) screen instead of the default VGA console. - "-serial" will additionally output kernel messages to the serial interface; this can save you copying kernel messages by hand. If "-nokdb" is also enabled, you can use a terminal program on the host to control Fiasco. If you are connected to a remote GDB, messages are copied to GDB's console. - "-profile" will profile the kernel; you need to compile it with "-DPROFILE" for this to work. When you terminate Fiasco (e.g., using the remote debugger), the profiling information is printed in uuencoded 4.4BSD gmon.out format to the serial interface; you can capture it using a terminal program. Unfortunately, current versions of GNU `gprof' don't understand the 4.4BSD gmon.out format; the next version hopefully does. I've sent a patch to the `gprof' maintainer (the patch is also available on request from me). There are some more options dealing with interrupt allocation for user threads, but they are hardly relevant for anyone. That's it for today! Happy hacking, Michael -- hohmuth(a)innocent.com, hohmuth(a)inf.tu-dresden.de http://home.pages.de/~hohmuth/

1 0

Fiasco: A new L4-compatible microkernel
by Michael Hohmuth 13 Oct '98

13 Oct '98

Dear readers of the L4-Hackers mailing list, the Operating Systems Group at TU Dresden is proud to announce the first development version of a new L4-compatible microkernel, called ``Fiasco.'' This release is distributed under GNU General Public License. Fiasco is a microkernel with real-time capabilities and runs on x86 PCs. Fiasco can run L4Linux, a port of the Linux kernel to the L4 interface which executes completely in user mode. Please find more information about the new kernel on the Fiasco website at <URL:http://os.inf.tu-dresden.de/fiasco/>. Regards, Michael -- hohmuth(a)innocent.com, hohmuth(a)inf.tu-dresden.de http://home.pages.de/~hohmuth/

2 1