l4-hackers August 2007

l4-hackers@os.inf.tu-dresden.de

24 participants
22 discussions

The ultimate HOW-TO
by ComputerScienceStudent 01 Oct '07

01 Oct '07

<?xml version="1.0" encoding="UTF-8"?> @page { size: 20.999cm 29.699cm; margin-top: 2cm; margin-bottom: 2cm; margin-left: 2cm; margin-right: 2cm } table { border-collapse:collapse; border-spacing:0; empty-cells:show } td, th { vertical-align:top; } h1, h2, h3, h4, h5, h6 { clear:both } ol, ul { padding:0; } * { margin:0; } *.Caption { font-family:'Thorndale AMT'; font-size:12pt; margin-top:0.212cm; margin-bottom:0.212cm; font-style:italic; } *.Heading { font-family:'Albany AMT'; font-size:14pt; margin-top:0.423cm; margin-bottom:0.212cm; } *.Index { font-family:'Thorndale AMT'; font-size:12pt; } *.List { font-family:'Thorndale AMT'; font-size:12pt; margin-top:0cm; margin-bottom:0.212cm; } *.P1 { font-family:'Thorndale AMT'; font-size:12pt; } *.P2 { font-family:'Thorndale AMT'; font-size:12pt; } *.P3 { font-family:'Thorndale AMT'; font-size:12pt; margin-left:1.251cm; margin-right:0cm; text-indent:0cm; } *.P4 { font-family:'Thorndale AMT'; font-size:12pt; margin-left:0cm; margin-right:0cm; text-indent:0cm; } *.Standard { font-family:'Thorndale AMT'; font-size:12pt; } *.Textbody { font-family:'Thorndale AMT'; font-size:12pt; margin-top:0cm; margin-bottom:0.212cm; } *.BulletSymbols { font-family:StarSymbol; font-size:9pt; } *.NumberingSymbols { } *.T1 { vertical-align:sup; } *.T2 { } Hi all!! These are the sources that I've downloaded (and where I've placed them): /root/l4-linux-2.6 /root/l4-linux-2.6-env /root/fiasco /root/l4env /root/hello I want to install L4Linux creating an entry on GRUB, because I've to work also with Suse 10.2 and Windows XP (the OSs installed on my notebook), but I haven't do anything similar in my own life! My question is: how to install L4Linux? Meaning: How to compiling, building and in what order? How to modifying the GRUB bootloader to preserve my old configuration of OSs? What I would like to have is that at the boot, the bootloader ask me if I want to go in Suse, Windows or L4Linux.. Thank a lot for every suggestion you'll give me!! PS. Once that I've do all my jobs -is a research for an universitary course- can I return to have only Suse 10.2 and Windows XP? -- View this message in context: http://www.nabble.com/The-ultimate-HOW-TO-tf4192072.html#a11921435 Sent from the L4 mailing list archive at Nabble.com.

3 46

Re: about compile environment
by sunshine007 03 Sep '07

03 Sep '07

chenggh04 wrote: > > On Wednesday 15 August 2007 02:19, sunshine007 wrote: >> Thanks adam, >> >> but now i have problem with booting the L4linux by remote serial console. >> i follow the pdf kickstart. >> but, i still got error like this (after i reboot the machine): >> Using IPI shortcut mode >> List of all partitions >> No file system could not mount root, tried : >> kernel panic - not syncing >> VFS : unable to mount root fs on unknown block (0,0) > These information shows that your Fiasco has no problem and it could drag > the > booting of L4Linux. But the L4Linux can't find or mount the root file > system. > If VFS can't mount root fs with unknown blocks. First you should check > your > l4linux configuration with the filesystem type as ext2, ext3, etc. > Basically > you should compile the ext2 or ext3 into the linux kernel not compile as > modules. > > cheng, > sorry , i could not understand what u meant ? so, how to check myl4linux > configuration ? using cfdisk ? > i checked, my partition /sda3 , FS type is Linux ext2. > so, actually this can be solved or not. or i need to reformat my hardisk ? > sorrry i can't get u. :,( > > >> my menu.lst : >> #L4linux >> title L4Linux-2.6/Fiasco+dope >> root (hd0,2) >> kernel /boot/L4linux/bootstrap >> modaddr 0x02000000 >> module /boot/L4linux/fiasco -nowait -nokdb -serial_esc -comspeed 115200 >> -comport 1 >> module /boot/L4linux/sigma0 >> module /boot/L4linux/roottask task modname "bmodfs" attached 4 modules >> module /boot/L4linux/events >> module /boot/L4linux/names --events >> module /boot/L4linux/log --events >> module /boot/L4linux/dm_phys --isa=0x00800000 -v --events >> module /boot/L4linux/simple_ts -t 300 --events >> module /boot/L4linux/rtc --events >> module /boot/L4linux/l4io --noirq --events module >> module /boot/L4linux/loader --fprov=BMODFS linux26.cfg >> module /boot/L4linux/bmodfs >> module /boot/L4linux/vmlinuz >> module /boot/L4linux/linux26.cfg >> module /boot/L4linux/libloader.s.so >> module /boot/L4linux/libld-l4.s.so >> #end l4linux > Here, your root partition is located in /dev/hda3 >> #linux26.cfg >> modpath "(hd0,2)/boot/L4linux" >> task "vmlinuz" "earlyprintk=yes console=ttyS1,115200 init=1 mem=256M >> root=/dev/sda3" >> all_sects_writable >> > Here, your l4linux kernel image is located in /dev/hda3 but root > partitition > is located in /dev/sda3. > > But cheng, > how can u know my l4linux kernel image is located in /dev/hda3 ? > modpath (hd0,2) means /dev/hda3 ? > more confius now %-| > >> # fdisk -l >> >> Disk /dev/sda: 250.0 GB, 250000000000 bytes >> 255 heads, 63 sectors/track, 30394 cylinders Units = cylinders of 16065 * >> 512 = 8225280 bytes >> >> Device Boot Start End Blocks Id System >> /dev/sda1 1 5 40131 de Dell Utility >> /dev/sda2 * 6 2616 20972857+ 7 HPFS/NTFS >> /dev/sda3 2617 26931 195310237+ 83 Linux >> /dev/sda4 26932 30394 27816547+ 82 Linux swap >> >> It is i wrongly typed the root partition? >> > But there is no devive named /dev/hda3. So may you should replace > /dev/sda3 > with /dev/hda3. You can try. > Best regards. > Cheng Guanghui > > _______________________________________________ > l4-hackers mailing list > l4-hackers(a)os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > > -- View this message in context: http://www.nabble.com/about-compile-environment-tf4247269.html#a12155981 Sent from the L4 mailing list archive at Nabble.com.

2 2

Re: Maybe it is a bug or missing some libraries. please help me
by Bjoern Doebel 31 Aug '07

31 Aug '07

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi Chenggh, > when I compile the latest version L4 I encouter these problems: > > /home/L4/tudos/l4/pkg/ipcmon/server/src/components.cc:13:18: error: vector: No > such file or directory > [..] vector is defined in l4/pkg/uclibc++ - which you should checkout and build. If you did so and it still does not work, it will be interesting to get the complete build output for l4/pkg/ipcmon/server that you get by running "make V=1". > My first opinion is that I miss some libraries and I install almost C++ > related libraries but the error is also. Another reason is it is indeed a > bug. But I am not sure. > OS: Ubuntu-7.04 > gcc-4.1 > g++-4.1 > Please help me to resolve this problem. Works for me with g++ 4.1.3 20070629 (prerelease) (Debian 4.1.2-13). Regards, Bjoern -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFG184xP5ijxgQLUNkRAjayAJ9+8hanmLC+sv1bclXki2gj12TLSwCgkH73 Chk63QZvIHn7fEywyraASeE= =ZM8F -----END PGP SIGNATURE-----

1 0

Basic L4-Linux setup & run
by Tiago Lopes 31 Aug '07

31 Aug '07

Hello, This is my first contact with L4 mKernel so forgive my limited knowledge on this subject. I've compiled dice, fiasco and L4env and starting to run some servers with trusted grub (grabbed the code from the latest OpenTC snapshot). But after reading all the L4-linux how-to's, I still cannot start L4-linux under "dope" or "con". I've noticed these docs looks aged, and some options are not accepted with current code base (--l4io, --noirq, etc). So, there is something I'm missing here... So far i can load everything (including dope server and l4-linux loads fine), but I can't see something like a system console, only plain and empty dope screen... I was especting some small dope window showing the l4-linux boot progress and maybe a console. Someone could show me the light please? Thanks :) Tiago Lopes Here is my config: --- start menu.lst ----------------------------------------------------- default 0 timeout 1 set ROOT := (cd) set SERIAL ?= "-serial -serial_esc -comspeed 115200 -comport 1" set FIASCOARGS := "-nokdb -nowait $(SERIAL)" title = test kernel $(ROOT)/tcb/bootstrap modaddr 0x02000000 module $(ROOT)/tcb/fiasco $(FIASCOARGS) module $(ROOT)/tcb/sigma0 -v module $(ROOT)/tcb/roottask -sigma0 -configfile task modname "bmodfs" attached 7 modules module $(ROOT)/tcb/roottask.config module $(ROOT)/tcb/events module $(ROOT)/tcb/names --events module $(ROOT)/tcb/log module $(ROOT)/tcb/dm_phys -v --events module $(ROOT)/tcb/simple_ts --events -t 384 module $(ROOT)/tcb/rtc --events module $(ROOT)/tcb/l4io --events module $(ROOT)/tcb/ore --events module $(ROOT)/tcb/l4dope --events module $(ROOT)/tcb/bmodfs module $(ROOT)/tcb/libloader.s.so module $(ROOT)/tcb/libld-l4.s.so module $(ROOT)/tcb/task_config.cfg # module $(ROOT)/tcb/con module $(ROOT)/tcb/run module $(ROOT)/tcb/proxygon module $(ROOT)/userland/l4linux2.6.21 module $(ROOT)/userland/drops.rd module $(ROOT)/tcb/loader --events --fprov=BMODFS task_config.cfg vbeset 0x117 --- end menu.lst ------------------------------------------------------ --- start roottask.config -------------------------------------------- #!roottask task sigma0 boot_priority 0xA0 task roottask boot_priority 0xA0 task modname "events" boot_priority 0xA0 task modname "names" boot_priority 0xA0 task modname "log" allow_cli boot_priority 0xA0 task modname "dm_phys" boot_priority 0xA0 task modname "simple_ts" boot_priority 0xA0 task modname "rtc" allow_cli task modname "l4io" allow_cli boot_priority 0xA0 task modname "ore" allow_cli boot_priority 0xA0 task modname "l4dope" allow_cli boot_priority 0xA0 task modname "bmodfs" boot_priority 0xA0 task modname "loader" allow_cli boot_priority 0xA0 --- end roottask.config -------------------------------------------- --- start task_config.cfg------------------------------------------- verbose 0 sleep 10 task "l4linux2.6.21" "mem=128M root=/dev/ram load_ramdisk=1 ramdisk_size=16384 l4env_rd=drops.rd video=l4fb:800x600@16 ,xpos:214,ypos:140,refreshsleep:75,title:LegacyLinux" all_sects_writable allow_vga allow_cli --- end task_config.cfg -------------------------------------------- --- start serial output ------------------------------------------------ Welcome to Fiasco(ia32)! DD-L4(v2)/x86 microkernel (C) 1998-2007 TU Dresden Rev: rUNKNOWN compiled with gcc 4.1.2 for Intel Pentium Performance-critical config option(s) detected: CONFIG_ASSEMBLER_IPC_SHORTCUT is off CONFIG_NDEBUG is off CONFIG_NO_FRAME_PTR is off CONFIG_FINE_GRAINED_CPUTIME is on Enabling special fully nested mode for PIC Using the PIT (i8254) on IRQ 0 for scheduling SERIAL ESC: allocated IRQ 4 for serial uart SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. Absolute KIP Syscalls using: Sysenter CPU: AuthenticAMD (6:8:0:0) Model: Athlon (Thoroughbred) at 696 MHz 16/256 Entry I TLB (4K pages) 8 Entry I TLB (4M pages) 32/256 Entry D TLB (4K pages) 8 Entry D TLB (4M pages) 64 KB L1 I Cache (2-way associative, 64 bytes per line) 64 KB L1 D Cache (2-way associative, 64 bytes per line) 256 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 24576 bytes (6 pages) Calibrating timer loop... done. SIGMA0: Hello! KIP @ 1000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures Roottask. Command line found: "(cd)/tcb/roottask -sigma0 -configfile task modname "bmodfs" attached 7 modules" 409150kB ( 399MB) total RAM (reported by bootloader) 367424kB ( 359MB) received RAM from Sigma0 41376kB ( 41MB) reserved RAM for RMGR Received I/O ports 0000-ffff Attached irqs = [ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 A B C D E F ] Roottask: Parsing config file. configured task 0x02 (): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x04 (): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (events): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (names): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (log): vm_offs:0 irq:ffff lmcp:ffff allow_cli:1 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (dm_phys): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (simple_ts): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (rtc): vm_offs:0 irq:ffff lmcp:ffff allow_cli:1 mcp:ff prio:10 small:ff mods:0 configured task 0x00 (l4io): vm_offs:0 irq:ffff lmcp:ffff allow_cli:1 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (ore): vm_offs:0 irq:ffff lmcp:ffff allow_cli:1 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (l4dope): vm_offs:0 irq:ffff lmcp:ffff allow_cli:1 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (bmodfs): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 configured task 0x00 (loader): vm_offs:0 irq:ffff lmcp:ffff allow_cli:1 mcp:ff prio:a0 small:ff mods:0 Roottask: Parsing command line config. configured task 0x00 (bmodfs): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:7 Roottask: Loading 18 modules. #05: loading "(cd)/tcb/events" from [0212c000-0216e66c] to [01540000-01548c10][01549000-0155e5d0] entry at 00062368 via trampoline page code symbols at [18ffe000-19000000] (8kB), lines at [18ff7000-18ffe000] (28kB) #06: loading "(cd)/tcb/names --events" from [0216f000-021ae253] to [002d0000-002d5e6a][002d6000-002e1000] entry at 00063370 via trampoline page code symbols at [18ff5000-18ff7000] (8kB), lines at [18fef000-18ff5000] (24kB) #07: loading "(cd)/tcb/log" from [021af000-021eb905] to [00400000-004068aa][00407000-00439848] entry at 00064368 via trampoline page code symbols at [18fed000-18fef000] (8kB), lines at [18fe7000-18fed000] (24kB) #08: loading "(cd)/tcb/dm_phys -v --events" from [021ec000-0227838c] to [01500000-015121ca][01513000-0151d000] entry at 00065378 via trampoline page code symbols at [18fe2000-18fe7000] (20kB), lines at [18fd5000-18fe2000] (52kB) #09: loading "(cd)/tcb/simple_ts --events -t 384" from [02279000-022c4d04] to [01400000-014080ea][01409000-01418608] entry at 0006637c via trampoline page code symbols at [18fd3000-18fd5000] (8kB), lines at [18fcb000-18fd3000] (32kB) #0a: loading "(cd)/tcb/rtc --events" from [022c5000-022f5ec1] to [01080000-010840e0][01085000-0108a000] entry at 00067370 via trampoline page code symbols at [18fc9000-18fcb000] (8kB), lines at [18fc4000-18fc9000] (20kB) #0b: loading "(cd)/tcb/l4io --events" from [022f6000-0254ee28] to [00b80000-00ba22a5][00ba3000-00c0a000] entry at 00069370 via trampoline page code symbols at [18f72000-18fc4000] (328kB), lines at [18f58000-18f72000] (104kB) #0c: loading "(cd)/tcb/ore --events" from [0254f000-0272f014] to [01800000-01832019][01833000-01862000] entry at 0006a370 via trampoline page code symbols at [18f4f000-18f58000] (36kB), lines at [18f29000-18f4f000] (152kB) #0d: loading "(cd)/tcb/l4dope --events" from [02730000-0289de76] to [01b00000-01b411a1][01b42000-01b83000] entry at 0006b374 via trampoline page code symbols at [18f1b000-18f29000] (56kB), lines at [16ed9000-16f05000] (176kB) #0e: loading "(cd)/tcb/bmodfs" from [0289e000-0293d5d0] to [01220000-01235659][01236000-0124d000] passing module (cd)/tcb/libloader.s.so [ 0293e000-029dcc02 ] passing module (cd)/tcb/libld-l4.s.so [ 029dd000-02a569c9 ] passing module (cd)/tcb/task_config.cfg [ 02a57000-02a57319 ] passing module (cd)/tcb/run [ 02a58000-02aa5ee1 ] passing module (cd)/tcb/proxygon [ 02aa6000-02b6bcbb ] passing module (cd)/userland/l4linux2.6.21 [ 02b6c000-0371baad ] passing module (cd)/userland/drops.rd [ 0371c000-0471c000 ] entry at 0006c47c via trampoline page code symbols at [18f16000-18f1b000] (20kB), lines at [18f04000-18f16000] (72kB) #0f: loading "(cd)/tcb/loader --events --fprov=BMODFS task_config.cfg" from [0471c000-047f49e4] to [01300000-01324ef9][01325000-01343000] entry at 0006d390 via trampoline page code symbols at [16ed3000-16ed9000] (24kB), lines at [16eba000-16ed3000] (100kB) names | Starting thread listening for `exit' events ROOT: Sending ports 0070-0070 to task #0a ROOT: Sending ports 0080-0080 to task #0a ROOT: Sending ports 0071-0071 to task #0a rtc | Date:29.08.2007 Time:18:16:01 simplets| Configured for 384 tasks. DMphys | DMphys memory map: DMphys | phys. memory 0x00000000-0x19000000 (from L4 kernel info page) DMphys | using 0x00100000-0x19000000 DMphys | Memory area Pool PS Flags DMphys | 0x00000000-0x0009f000 -- -- RESERVED DMphys | 0x00100000-0x00161000 -- -- RESERVED DMphys | 0x00161000-0x001c6000 -- -- DENIED DMphys | 0x001c6000-0x002d0000 0 12 MAPPED DMphys | 0x002d0000-0x002e1000 -- -- DENIED DMphys | 0x002e1000-0x00400000 0 12 MAPPED DMphys | 0x00400000-0x0043a000 -- -- DENIED DMphys | 0x0043a000-0x00b80000 0 12 MAPPED DMphys | 0x00b80000-0x00c0a000 -- -- DENIED DMphys | 0x00c0a000-0x01080000 0 12 MAPPED DMphys | 0x01080000-0x0108a000 -- -- DENIED DMphys | 0x0108a000-0x01220000 0 12 MAPPED DMphys | 0x01220000-0x0124d000 -- -- DENIED DMphys | 0x0124d000-0x01300000 0 12 MAPPED DMphys | 0x01300000-0x01343000 -- -- DENIED DMphys | 0x01343000-0x01400000 0 12 MAPPED DMphys | 0x01400000-0x01419000 -- -- DENIED DMphys | 0x01419000-0x01500000 0 12 MAPPED DMphys | 0x01500000-0x0151c000 -- -- RESERVED DMphys | 0x0151c000-0x01540000 0 12 MAPPED DMphys | 0x01540000-0x0155f000 -- -- DENIED DMphys | 0x0155f000-0x01800000 0 12 MAPPED DMphys | 0x01800000-0x01862000 -- -- DENIED DMphys | 0x01862000-0x01b00000 0 12 MAPPED DMphys | 0x01b00000-0x01b83000 -- -- DENIED DMphys | 0x01b83000-0x01c00000 0 12 MAPPED DMphys | 0x01c00000-0x02800000 0 22 MAPPED DMphys | 0x02800000-0x0293e000 0 12 MAPPED DMphys | 0x0293e000-0x0471c000 -- -- DENIED DMphys | 0x0471c000-0x04800000 0 12 MAPPED DMphys | 0x04800000-0x16c00000 0 22 MAPPED DMphys | 0x16c00000-0x16eba000 0 12 MAPPED DMphys | 0x16eba000-0x18ef0000 -- -- DENIED DMphys | 0x18f00000-0x18f04000 0 12 MAPPED DMphys | 0x18f04000-0x19000000 -- -- DENIED DMphys | DMphys | DMphys memory pools: DMphys | pool 0 (Default memory pool): DMphys | size: 340552KB total, 340552KB free, 32KB reserved DMphys | 0x001c6000-0x002d0000 ( 1064KB, 1MB) free DS: DMphys | 0x002e1000-0x00400000 ( 1148KB, 1MB) free DS: DMphys | 0x0043a000-0x00b80000 ( 7448KB, 7MB) free DS: DMphys | 0x00c0a000-0x01080000 ( 4568KB, 4MB) free DS: DMphys | 0x0108a000-0x01220000 ( 1624KB, 2MB) free DS: DMphys | 0x0124d000-0x01300000 ( 716KB, 1MB) free DS: DMphys | 0x01343000-0x01400000 ( 756KB, 1MB) free DS: DMphys | 0x01419000-0x01500000 ( 924KB, 1MB) free DS: DMphys | 0x0151c000-0x01540000 ( 144KB, 0MB) free DS: DMphys | 0x0155f000-0x01800000 ( 2692KB, 3MB) free DS: DMphys | 0x01862000-0x01b00000 ( 2680KB, 3MB) free DS: DMphys | 0x01b83000-0x0293e000 ( 14060KB, 14MB) free DS: DMphys | 0x0471c000-0x16eba000 (302712KB, 296MB) free DS: DMphys | 0x18f00000-0x18f04000 ( 16KB, 0MB) free DS: io | Enabling events support. l4dope | DOpE(init): using events mechanism ROOT: Sending ports 0cfb-0cfb to task #0b ROOT: Sending ports 0cf8-0cfb to task #0b ROOT: Sending ports 0cfe-0cff to task #0b bmodfs | Passed the following modules: io | PCI: Using configuration type 1 bmodfs | module "(cd)/tcb/libloader.s.so" (636kB) io | PCI: Probing PCI hardware bmodfs | module "(cd)/tcb/libld-l4.s.so" (487kB) io | PCI: Probing PCI hardware (bus 00) ROOT: Sending ports 0cfc-0cff to task #0b bmodfs | module "(cd)/tcb/task_config.cfg" (1kB) io | PCI: Cannot allocate resource region 4 of device 00:07.1 bmodfs | module "(cd)/tcb/run" (312kB) io | Limiting direct PCI/PCI transfers. bmodfs | module "(cd)/tcb/proxygon" (792kB) io | 00000000-ffffffff : PCI mem bmodfs | module "(cd)/userland/l4linux2.6.21" (11967kB) io | e8000000-ebffffff : Intel Corporation 440BX/ZX/DX - 82443BX/ZX/DX H bmodfs | module "(cd)/userland/drops.rd" (16384kB) io : ost bridge loader | sleeping for 10000 ms io | ec000000-ec7fffff : VMware Inc [VMware SVGA II] PCI Display Adapter io | ec800000-ec800fff : LSI Logic / Symbios Logic 53c1030 PCI-X Fusion- io : MPT Dual Ultra320 SCSI io | f0000000-f7ffffff : VMware Inc [VMware SVGA II] PCI Display Adapter io | 0000-ffff : PCI IO io | 0cf8-0cff : PCI conf1 io | 1000-103f : Intel Corporation 82371AB/EB/MB PIIX4 ACPI io | 1040-105f : Intel Corporation 82371AB/EB/MB PIIX4 ACPI io | 1060-106f : VMware Inc [VMware SVGA II] PCI Display Adapter io | 1070-107f : Intel Corporation 82371AB/EB/MB PIIX4 IDE io | 1080-10ff : LSI Logic / Symbios Logic 53c1030 PCI-X Fusion-MPT Dual io : Ultra320 SCSI io | 1400-147f : Advanced Micro Devices [AMD] 79c970 [PCnet32 LANCE] io | Available IRQs=[ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f ] l4dope | L4INPUT native mode activated ore | l4dde_mm_init(): Using ... l4dope | L4INPUT: !!! W A R N I N G !!! ore | 16 MB at 0x00180000 (vmem) l4dope | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT. ore | 16 MB in 1 regions (kmem) l4dope | L4INPUT: !!! W A R N I N G !!! ROOT: Sending ports 0060-006f to task #0b ore | main(): initialized DDELinux2.4 l4dope | serio: i8042 AUX port at 0x60,0x64 irq 12 ore | main(): loopback: 0 l4dope | serio: i8042 KBD port at 0x60,0x64 irq 1 ore | device lo entered promiscuous mode l4dope | input: ImPS/2 Generic Wheel Mouse on isa0060/serio1 ore | main(): Initialized 1 network devices. l4dope | input: AT Translated Set 2 keyboard on isa0060/serio0 ore | Device = lo, IRQ = 0, MAC = 00:00:00:00:00:00 l4dope | input: PC Speaker ore | main(): Registering 'ORe' at names... l4dope | input: L4 input event injector ore | main(): Ready for service. l4dope | L4 input event injector: IRQ handler up l4dope | a0060/serio1/input0 l4dope | connect "ImPS/2 Generic Wheel Mouse", isa0060/serio1/input0 l4dope | connect "AT Translated Set 2 keyboard", isa0060/serio0/input0 l4dope | connect "PC Speaker", isa0061/input0 l4dope | connect "L4 input event injector", l4/sys l4dope | SharedMem(alloc): hl.raw=100000, id=43, size=800 l4dope | SharedMem(get_adr): address = 0x6000 l4dope | SharedMem(alloc): hl.raw=100000, id=44, size=800 l4dope | SharedMem(get_adr): address = 0x7000 l4dope | SharedMem(alloc): hl.raw=100000, id=45, size=800 l4dope | SharedMem(get_adr): address = 0xd000 l4dope | SharedMem(alloc): hl.raw=100000, id=46, size=800 l4dope | SharedMem(get_adr): address = 0xe000 l4dope | SharedMem(alloc): hl.raw=100000, id=47, size=800 l4dope | SharedMem(get_adr): address = 0xf000 l4dope | SharedMem(alloc): hl.raw=100000, id=49, size=800 l4dope | SharedMem(get_adr): address = 0x16000 l4dope | SharedMem(alloc): hl.raw=100000, id=4a, size=800 l4dope | SharedMem(get_adr): address = 0x17000 l4dope | dope: paddr=f0000000 size=16384KiB l4dope | Mapped video memory at f0000000 to 03000000+000000 [16384kB] via L4IO l4dope | mapping: vaddr=0x3000000 size=16777216(0x1000000) offset=0(0x0) l4dope | Frame buffer base: 0x3000000 l4dope | Resolution: 1024x768x16 l4dope | Bytes per scanline: 2048 l4dope | Current video mode is 1024x768 red=11:5 green=5:6 blue=0:5 res=0:0 loader | l4linux2.6.21: Starting application using libld-l4.s.so loader | l4linux2.6.21,#10: Loading binary loader | l4linux2.6.21,#10: Loading ldso loader | l4linux2.6.21,#10: Starting libld-l4.s.so at 00013800 via 0000cbf0 l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.21-l4 (tjcl@fx242) (gcc version 4.1.2) #3 Wed Aug 2 l4lx : 2 16:43:46 WEST 2007 l4lx | Binary name: l4linux2.6.21 l4lx | Kernel command line (6 args): mem=128M root=/dev/ram load_ramdisk=1 r l4lx : amdisk_size=16384 l4env_rd=drops.rd video=l4fb:800x600@16 ,xpos:214,yp l4lx : os:140,refreshsleep:75,title:LegacyLinux l4lx | Image: 00400000 - 00683000 [2572 KiB]. l4lx | Areas: Text: 00400000 - 005e9000 [1956kB] (a bit longer) l4lx | Data: 005e9000 - 005fe2cc [84kB] l4lx | Initdata: 00602000 - 006260a0 [144kB] l4lx | BSS: 00628000 - 00680900 [354kB] l4lx | l4lx_thread_create: Created thread 10.03 (tamer) l4lx | Using tamed mode. ROOT: Sending all ports (for cli/sti) to task #0f l4lx | Got 65536 out of 65536 I/O ports l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 10.04 (server) l4lx | main thread will be 10.04 l4lx | l4env_register_pointer_section: addr = 00600000 size = 536576 l4lx | sec-w-init: virt: 0x00600000 to 0x00682fff [524 KiB] l4lx | sec-w-init: Number of physical regions: 1, 536576 Bytes l4lx | sec-w-init: 1: Phys: 0x0093e000 to 0x009c1000, Size: 536576 l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main memory size: 128MB l4lx | Main memory: virt: 0x00800000 to 0x087fffff [131072 KiB] l4lx | Main memory: Number of physical regions: 1, 134217728 Bytes l4lx | Main memory: 1: Phys: 0x06800000 to 0x0e800000, Size: 134217728 l4lx | Filling lower ptabs... l4lx | Done (1338 entries). l4lx | l4env_rd_path: drops.rd l4lx | Loading: drops.rd l4lx | INITRD: Size of RAMdisk is 16384KiB l4lx | RAMdisk from 08800000 to 09800000 [16384KiB] l4lx | l4lx_thread_create: Created thread 10.05 (timer.i0) l4lx | l4lx_thread_create: Created thread 10.06 (Idler) l4lx | Creating 1 ORe device(s). l4lx | Opening device eth0 at ORe instance ORe l4lx | l4ore_open(): called l4lx | l4ore_open(): descriptor: 0 l4lx | ore_lookup_server(): ORe server ORe = C.02 l4lx | ore_do_open(): called ore | [C.2] ore/server/src/clients.c:215:setup_connection(): ore | Error: no device found. l4lx | ore_do_open(): opened. worker = 7FF.7F l4lx | [10.4] ore/lib/client/lib.c:181:l4ore_open(): l4lx | Error: ore_open() returned INVALID_ID --- end serial output ------------------------------------------------

2 3

Re: some questions in the l4 config
by Adam Lackorzynski 30 Aug '07

30 Aug '07

On Wed Aug 29, 2007 at 21:33:45 +0000, chenggh wrote: > Thanks. There are still some questions about the l4 config > > In the drops home directory we could use `make -C l4 config O=./build` to > enter the l4 configuration interface. There are some options I don't > understand as following: > Target Architecture --- > (x86) Target Architecture > This option is ok and there are 3 options to be chosen. > CPU type: "586" > This option is confused because it depends on our input. For example If my > cpu is pentim4 can I input p4 in the CPU type? In this place is there > avaiable small cpu type set? You can basically put there what you want. It only affects gcc optimization settings. For pentium4 it would be pentium4. > (L4.V2) ABI > (X) L4.V2 > ( ) L4.X2 > ( ) L4.Sec.(V2.emu) > ( ) Linux > There are four options to be chosen. L4.v2, L4.X2 and L4.sec > are explained in other documents. But I choose Linux in this place what can > we do? The ABI name would be set to linux. I think it's unused nowadays. Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

Re: some questions in the l4 config
by chenggh 29 Aug '07

29 Aug '07

Thanks. There are still some questions about the l4 config In the drops home directory we could use `make -C l4 config O=./build` to enter the l4 configuration interface. There are some options I don't understand as following: Target Architecture --- (x86) Target Architecture This option is ok and there are 3 options to be chosen. CPU type: "586" This option is confused because it depends on our input. For example If my cpu is pentim4 can I input p4 in the CPU type? In this place is there avaiable small cpu type set? (L4.V2) ABI (X) L4.V2 ( ) L4.X2 ( ) L4.Sec.(V2.emu) ( ) Linux There are four options to be chosen. L4.v2, L4.X2 and L4.sec are explained in other documents. But I choose Linux in this place what can we do? Thanks. Cheng Guanghui

1 0

some questions in the l4 config
by chenggh 29 Aug '07

29 Aug '07

Hi: In the drops home directory we could use `make -C l4 config O=./build` to enter the l4 configuration interface. There are some options I don't understand as following: Target Architecture --- (x86) Target Architecture // This is ok and there are 3 options to be chosen. CPU type: "586" //This option is confused because it depends on our input. For example If my cpu is pentim4 can I input p4 in the CPU type? In this place is there avaiable small cpu type set? (L4.V2) ABI (X) L4.V2 ( ) L4.X2 ( ) L4.Sec.(V2.emu) ( ) Linux There are four options to be chosen. L4.v2, L4.X2 and L4.sec are explained in other documents. But I choose Linux in this place what can we do? Advances: [*] Use system-call entry code in the KIP (absolute) [ ] Use hierarchical task system (EXPERIMENTAL) [ ] Enable RELEASE flag [ ] Do not build anything outside l4 directory Please also explain these 4 options. Thans very much. Cheng Guanghui

2 1

Re: bug report
by chenggh 29 Aug '07

29 Aug '07

> Thank you for your bug report. The installed version of bison is to old. > Please find attached a patch that fixes bison version detection. (You > will have to rerun 'make -f Makefile.drops' in the dice directory.) What is the distribution you used? I use the Ubuntu6.06 with default bison version 2.1. Is the bison 2.3 ok? Thanks. Cheng Guanghui

2 1

bug report
by chenggh 29 Aug '07

29 Aug '07

ranlib libfe.a make[5]: Leaving directory `/home/L4/tudos/dice/src/fe' Making all in parser make[5]: Entering directory `/home/L4/tudos/dice/src/parser' Making all in idl make[6]: Entering directory `/home/L4/tudos/dice/src/parser/idl' bison --report=all -d idl-parser.yy idl-parser.yy:2.1-8: invalid directive: `%require' idl-parser.yy:2.10-15: syntax error, unexpected string make[6]: *** [idl-parser.tab.cc] Error 1 make[6]: Leaving directory `/home/L4/tudos/dice/src/parser/idl' make[5]: *** [all-recursive] Error 1 make[5]: Leaving directory `/home/L4/tudos/dice/src/parser' make[4]: *** [all-recursive] Error 1 make[4]: Leaving directory `/home/L4/tudos/dice/src' make[3]: *** [all-recursive] Error 1 make[3]: Leaving directory `/home/L4/tudos/dice' make[2]: *** [all] Error 2 make[2]: Leaving directory `/home/L4/tudos/dice' make[1]: *** [all] Error 2 make[1]: Leaving directory `/home/L4/tudos/dice' make: *** [../dice] Error 2 make: Leaving directory `/home/L4/tudos/l4' OS: Ubuntu6.06 bison (GNU Bison) 2.1 This l4 is downloaded on 2007-08-27. Thanks. Cheng Guanghui

2 1

Re: The ultimate HOW-TO
by Bjoern Doebel 27 Aug '07

27 Aug '07

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 skitmax81(a)yahoo.it wrote: > Bjoern Doebel wrote: >> -----BEGIN PGP SIGNED MESSAGE----- >> Hash: SHA1 >> >> Hi, >> >>> PS. For a test, could you please post the entry to add at the menu.lst >>> file >>> to try booting L4Linux? >>> Maybe everything is still working.. &-( >> Did you have a look at >> http://os.inf.tu-dresden.de/L4/LinuxOnL4/use-2.6.shtml >> ? >> .... >> > Quoted from: > http://www.nabble.com/The-ultimate-HOW-TO-tf4192072.html#a12351172 > > ------------------------------------------------------------------------------------------------------ > > Yes, I've read the page, but, because I'm newbie, I don't understand how to have a standalone > setup without DOpE.. I would like to have a simple console where compile/build and run <i>lmbench</i> As Adam already pointed out, you shouldn't even use DOpE when doing a benchmark. So let's sum it up: * Build Fiasco and the hello server. Then run it and make sure that the red (performance-critical) warnings at Fiasco bootup are gone. * Build the L4Env packages needed for L4Linux, namely those that appear in the menu.lst which can be found on the "Using L4Linux" page you already know. * Build L4Linux. Disable DOpE support, disable networking and sound stuff, enable VGA text console and hard disk support. * Put all the binaries obtained so far into the boot directory where GRUB gets its modules from, e.g., where your (SUSe?) Linux kernel is. * Create a loader config file for L4Linux, just like the one on the L4Linux page and put it in the same location. You don't have to use a ramdisk, but can just put a "root=/dev/hda1" or something similar there. Basically, you should be able to use your native Linux environment from HD with L4Linux, too. * Add a menu.lst entry such as the one on the L4Linux page to your GRUB menu.lst. Which of the above points is unclear to you? > I'm not intereste to have networking or sound or other stuffs, only a simple console Linux-like.. it's > for a course and I'm a bit frustrated.. two months and no results.. sigh! :-(( Regards, Bjoern -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFG0v6tP5ijxgQLUNkRApeUAJ9jKk/U6xdywJ4Ih1FH4XeWiMT+cgCfXelx LCnf2fk5w8zcNoyxIwOnJm0= =11yE -----END PGP SIGNATURE-----

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers August 2007