The ultimate HOW-TO
Adam Lackorzynski
adam at os.inf.tu-dresden.de
Sun Aug 26 22:54:47 CEST 2007
On Sat Aug 25, 2007 at 04:14:22 -0700, ComputerScienceStudent wrote:
>
>
> ComputerScienceStudent wrote:
> >
> > -------------------------------------------------------------------------------------------------------------------------------------
> >
> > The output when booting the Hello World is:
> > .
> > .
> > API Version: (87) experimental
> > Sigma0 config ip:001048a8 sp:002c9760
> > Roottask config ip:00110000 sp:00000000
> > Starting kernel /DROPS/kernel/fiasco/build/fiasco at 0030082c
> >
> > Comport 0x0001 is not accepted by the uart driver!
> >
> > Welcome to Fisco (ia32)!
> > DD-L4(v2)/ia32 microkernel (C) 1998-2007 TU Dresden
> > Rev: rUNKNOWN compiled with gcc 4.1.0 for Intel Pentium [ ]
> > Performance-critical config option(s) detected:
> > CONFIG_NDEBUG is off
> >
> > Enabling special fully nested mode for PIC
> >
> > Assertion failed: '0'
> > in /DROPS/kernel/fiasco/src/abi/kip.cpp:126
> > at f00175d1
> >
> > Press any key to reboot.
> >
>
> Founded the option and set it on, I see that the output is something like
> #06.. but it reboots and I can't read so fast!
Ok, so leave the debugging options enabled until everything works! Why
disable the thing that help you? I said you should make the red messages
go away when you do your benchmarks, not when you try to get the system
running.
> The result is that I can't be more exahustive in the explaination so I
> answer: How to have a log file to read the outputs?
Either via serial or use e.g. qemu where you get the serial port in your
terminal. Maybe that's a way to get things set up.
Furthermore I'd also like to see the bootstrap output. (actually everything)
Adam
--
Adam adam at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
More information about the l4-hackers
mailing list