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