about l4linux on fiasco-UX

[Adam Lackorzynski]

On Thu Jul 26, 2007 at 20:20:32 +0800, kashin Lin wrote:
> 2007/7/26, Adam Lackorzynski <adam at os.inf.tu-dresden.de>:
> >
> >
> >On Wed Jul 25, 2007 at 16:49:51 +0800, kashin Lin wrote:
> >> 2007/7/25, Adam Lackorzynski <adam at os.inf.tu-dresden.de>:
> >> >
> >> >
> >> >On Tue Jul 24, 2007 at 10:10:23 +0800, kashin Lin wrote:
> >> >> 2007/7/24, Adam Lackorzynski <adam at os.inf.tu-dresden.de>:
> >> >> >
> >> >> >
> >> >> >On Sun Jul 22, 2007 at 23:09:10 +0800, kashin Lin wrote:
> >> >> >> 2007/7/22, Adam Lackorzynski <adam at os.inf.tu-dresden.de>:
> >> >> >> >
> >> >> >> >
> >> >> >> >On Sun Jul 22, 2007 at 01:00:44 +0800, kashin Lin wrote:
> >> >> >> >> 2007/7/21, kashin Lin <kashin08 at gmail.com>:
> >> >> >> >> >
> >> >> >> >> >
> >> >> >> >> >
> >> >> >> >> >2007/7/21, Adam Lackorzynski <adam at os.inf.tu-dresden.de>:
> >> >> >> >> >>
> >> >> >> >> >>
> >> >> >> >> >> On Fri Jul 20, 2007 at 15:54:06 +0800, kashin Lin wrote:
> >> >> >> >> >> > when i runed l4linux on fiasco-UX by "./lx con", it stoped
> >> >> >> >> >> > after following messages:
> >> >> >> >> >>
> >> >> >> >> >> We need to find out by adding earlyprintk=keep to the
> >L4Linux
> >> >> >kernel
> >> >> >> >> >> command line. Then there should be more text.
> >> >> >> >> >
> >> >> >> >> >
> >> >> >> >>
> >> >> >> >>
> >> >> >> >> Here are the results after adding "earlyprintk=keep" :
> >> >> >> >
> >> >> >> >> >con     | vc[1] 640x480 at 16, bpl:1280, gmode:0x15, evprt:
> >E.03save:0
> >> >> >> >> >run     | contxt_init(): 640x462, cols:80, lines:33,
> >> >sb_lines:1033
> >> >> >> >> >l4lx    | INITRD: Size of RAMdisk is 16384KiB
> >> >> >> >> >l4lx    | RAMdisk from 03400000 to 04400000 [16384KiB]
> >> >> >> >> >[    0.000000] Linux version 2.6.21-l4 (
> >kashin08 at kashin08-desktop
> >> >)
> >> >> >(gcc
> >> >> >> >> >version 4.1.2 (Ubuntu 4.1.2-0ubuntu4)) #1 Fri Jul 20 12:14:47
> >CST
> >> >> >2007
> >> >> >> >> >[    0.000000] CPU: Vendor unknown, using generic init.
> >> >> >> >> >[    0.000000] CPU: Your system may be unstable.
> >> >> >> >> >[    0.000000]  dm_phys: 0000000000800000 - 0000000003400000
> >> >> >(usable)
> >> >> >> >> >[    0.000000] 44MB memory available.
> >> >> >> >> >[    0.000000] INITRD: 03400000 - 04400000
> >> >> >> >> >[    0.000000] Zone PFN ranges:
> >> >> >> >> >[    0.000000]   DMA             0 ->      512
> >> >> >> >> >[    0.000000]   Normal        512 ->    13312
> >> >> >> >> >[    0.000000] early_node_map[1] active PFN ranges
> >> >> >> >> >[    0.000000]     0:        0 ->    13312
> >> >> >> >> >[    0.000000] Allocating PCI resources starting at 10000000
> >> >(gap:
> >> >> >> >> >03400000:fcc00000)
> >> >> >> >> >[    0.000000] Built 1 zonelists.  Total pages: 13208
> >> >> >> >> >[    0.000000] Kernel command line: mem=44M earlyprintk=keep
> >> >> >root=1:0
> >> >> >> >> >load_ramdisk=1 ramdisk_size=16384
> >l4env_rd=../../../test_lx/rd1
> >> >> >> >> >panicblink=0
> >> >> >> >> >lang=us
> >> >> >> >> >[    0.000000] Initializing CPU#0
> >> >> >> >> >[    0.000000] PID hash table entries: 256 (order: 8, 1024
> >bytes)
> >> >> >> >> >[    0.000000] Detected 2010.311 MHz processor.
> >> >> >> >> >[ 1236.204905] keeping early console
> >> >> >> >> >l4lx    | panic: going to sleep forever, bye
> >> >> >> >
> >> >> >> >Can you please post your .config?
> >> >> >>
> >> >> >>
> >> >> >> following is the content of my ".config". (also in attached file)
> >> >> >
> >> >> >So many options enabled... Can you please use the ux default
> >> >> >configuration for a start? (arch/l4/configs/x86-ux_defconfig,
> >> >> >make x86-ux_defconfig will also do).
> >> >>
> >> >>
> >> >> after using "make x86-ux_defconfig",  it still doesn't work.
> >> >> but the error messages are different this time :
> >> >
> >> >Ok, different. Can you please add showpfexc=1 to the L4Linux kernel
> >> >command line and post the last part of log again?! There should be more
> >> >output then. Then please look up the code at the PC that is printed, or
> >> >send me (only me) your vmlinuz file.
> >>
> >>
> >> following are the messages after i added "showpfexc=1".
> >
> >> NET: Registered protocol family 16
> >> l4lx    | EX: F.04: pc = 0040acf5 trapno = 0xd err = 0x402
> >> Setting up standard PCI resources
> >> l4lx    | EX: F.04: pc = 0040acf5 trapno = 0xd err = 0x402
> >> l4lx    | EX: F.04: pc = 00408d36 trapno = 0xd err = 0x0
> >> Trap: 13: 0000 [#1]
> >
> >It's trapping on segment access, I wonder how this can happen. What's
> >the version of your host Linux kernel?
> 
> 
> 
> it's ubuntu 7.04   kernel: 2.6.20-16-generic.
> is it ok?

This one seems ok. You're not doing anything strange on your system?

Can you please zip together all your binaries (Fiasco, L4Env, L4Linux +
start script (lx?)) and send it to me privately? Then I'll have a look
if it works for me.
 
> >another question i want to ask :
> >> according to "l4-kickstart.pdf", there are some configuration options
> >should
> >> been enable.
> >> for instance:
> >>
> >> Graphics support
> >>     <*> Support for frame buffer devices
> >>          Console display driver support --->
> >>                 [ ] VGA text console
> >>                 < > MDA text console (dual-headed) (EXPERIMENTAL)
> >>                 <*> Framebuffer Console support
> >>                 [*]     Framebuffer Console Rotation
> >>                 [ ] Select compiled-in fonts
> >>
> >> but the default configuration in "arch/l4/configs/x86-ux_defconfig"
> >doesn't
> >> obey that.
> >
> >x86-ux_defconfig enables all of the three options, or do you mean that
> >the pdf says other options should be enabled?
> 
> 
> 
> yes, i mean that the pdf says other options should be enabled, but the
> default_config seems not.

I haven't written the pdf but did the config...
 
> >should i follow the "l4-kickstart.pdf" or arch/l4/configs/x86-ux_defconfig
> >> is fine?
> >
> >x86-ux_defconfig, this should always be the most recent version.
> >

Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/