Problem of running L4Linux

Valery V. Sedletski _valerius at mail.ru
Tue Dec 30 09:20:34 CET 2008


On Mon, 29 Dec 2008 17:20:13 +0800, Adam Chang wrote:

>Dear all:
>     Thanks for Valery's help , but it has some trouble for roottask
>loading module.
>

>And this is the error message
>==============
>Roottask: Loading 11 modules.
>#05: loading "/common/dm_phys --isa=0x00800000"
>     from [021ae000-02248cd8] to [01500000-01513cb7][01514000-0151e000]
>     entry at 0005f07c via trampoline page code
>     symbol at [1d58b000-1d590000] (20kB), line at [1d57d000-1d58b000] (56kB)
>#06: loading "/common/simple_ts -t 300"
>     from [02249000-022963c8] to [01400000-01408dea][01409000-014185e8]
>     entry at 00060074 via trampoline page code
>     symbol at [1d57b000-1d57d000] (8kB), line at [1d573000-1d57b000] (32kB)
>#07: loading "/common/rtc"
>     from [02297000-022c69c8] to [01080000-010845e0][01085000-0108a000]
>     entry at 00061064 via trampoline page code
>     symbol at [1d571000-1d573000] (8kB), line at [1d56c000-1d571000] (20kB)
>#08: loading "/common/l4io"
>     from [022c7000-02506c35] to [00c20000-00c44ccd][00c45000-00cb3000]
>     entry at 00062068 via trampoline page code
>     symbol at [1d516000-1d56c000] (344kB), line at [1d4fc000-1d516000] (104kB)
>#09: loading "/common/bmodfs"
>     from [02507000-025ae54b] to [01220000-01238089][01239000-01250000]
>     passing module /common/cfg/l4linux26.cfg		  [025af000-025af0c7]
>     passing module /common/libloader.s.so		  [025b0000-0264dea3]
>     passing module /common/libld-l4.s.so		  [0264e000-026c7801]
>     passing module /common/vmlinuz			  [026c8000-02a5b353]
>     passing module /common/drops.rd			  [02a5c000-03a5c000]
>     entry at 00063128 via trampoline page code
>     symbol at [1d4f7000-1d4fc000] (20kB), line at [1d4e4000-1d4f7000] (76kB)
>#0a: loading "/common/loader --fprov=BMODFS l4linux26.cfg"
>     from [03a5c000-03b3b10e] to [01300000-013287e9][01329000-01348000]
>     entry at 00064984 via trampoline page code
>     symbol at [1d4dd000-1d4e4000] (28kB), line at [1d4c3000-1d4dd000] (104kB)
>
>ROOT: Sending ports 0070-0070 to task #07
>ROOT: Sending ports 0080-0080 to task #07
>ROOT: Sending ports 0071-0071 to task #07
>*simplets| Configured for 300 tasks.
>*simplets| failed to register simple_ts!
>*simplets|
>*simplets| Exiting with -1
>*rtc	 | Date:29.12.2008 Time 16:13:52
>*DMphys  | [5.0] dm_phys/server/src/main.c:447:main():
>*DMphys  |  DMphys: can't register at nameserver
>==============
>When I followed the step that adding "allow cli" this feature, it has
>trouble for registering some module to nameserver.
>Can someone give me some advice how to solve this problem?
>Thanks!!
>
>Best Regards.
>Adam Chang

You specified the following roottask command line:

==============
module /common/roottask -symbols -lines task modname "loader"
boot_priority 0xA0 allow_cli task modname "bmodfs" attached 5 modules
==============

But, as I suspect, you specified -symbols and -lines parameters but not gave fiasco_symbols and fiasco_lines files 
(fiasco debug info) right after roottask as modules. And, because of that, names and log servers, which were right 
after roottask, were treated as Fiasco lines and symbols. So, log and names were not loaded by roottask,  and 
hence, many errors occured because servers can't find names to register at. 

So, I can advice you to remove -symbols and -lines parameters for roottask, or add fiasco_symbols and fiasco_lines 
files (they are in fiasco build directory and are called Lines and Symbols)

WBR,
valery






More information about the l4-hackers mailing list