- l4-hackers - example.com Site

About download GRUB
by kashin Lin 24 Jul '07

24 Jul '07

Hi~ according to this website " http://os.inf.tu-dresden.de/drops/download.html", the GRUB to boot l4linux/fiasco is not the normal version. but it can't be downloaded from SVN now. how can i get that?

2 1

About build of L4Linux
by 林和宏 22 Jul '07

22 Jul '07

Hello. I am a university student in japan. I have a question about an error in building L4Linux 2.6. I want to run L4Linux with L4Ka::Pistachio on an IA32 architecture machine. I got a following error when I tried to make L4Linux. ------------------------------------------------------------- ..... LD .tmp_vmlinux1 KSYM .tmp_kallsyms1.S AS .tmp_kallsyms1.o LD .tmp_vmlinux2 KSYM .tmp_kallsyms2.S AS .tmp_kallsyms2.o LD .tmp_vmlinux3 KSYM .tmp_kallsyms3.S AS .tmp_kallsyms3.o CHK include/linux/version.h *** Error: Headers not exportable for this architecture (l4) <--- this error make[1]: *** [headers_install] error 1 make: *** [vmlinux] error 2 ------------------------------------------------------------- My build way is based on the official website (http://os.inf.tu-dresden.de/L4/LinuxOnL4/build-2.6.shtml) First, I download the source of L4Linux 2.6 and the l4linux-2.6-env module using SVN repository. [root@lin root]# svn co http://svn.tudos.org/repos/l4linux/trunk l4linux-2.6 [root@lin root]# svn co -N http://svn.tudos.org/repos/tudos/trunk tudos [root@lin tudos]# ./repomgr checkout l4linux-2.6-env The directory structure is following. tudos/ - build/ - dice/ - l4/ - l4linux-2.6/ - repomgr - tools Next, I configure and make L4 enviroment. [root@lin tudos]# make -C l4 O=/root/tudos/build/ config [root@lin tudos]# make -C l4 O=/root/tudos/build/ In DROPS Configuration Tool, I set the path to the DROPS tree. Other parameters are default. Paths and Directories ---> DROPS_STDDIR: "/root/tudos/" Finally, I go to the l4linux-2.6 directory and configure and make. [root@lin l4linux-2.6]# make menuconfig [root@lin l4linux-2.6]# make I change a lot of parameters in L4Linux kernel configuration to avoid many other errors in start and end of make sequence. L4Linux configuration ---> - (/root/tudos/build/) L4 tree build directory Proccessor type and features ---> - [ ] Symmetric multi-proccessing support - Subarchitecture Type (PC-compatible) ---> - [ ] HPET Timer Support - Preemption Model (No Forced Preemption (Server)) ---> - [ ] Local APIC support on uniproccessors - [ ] Machine Check Exception - High Memory Support (off) ---> - [ ] MTRR (Memory Type Range Register) support - [ ] kexec system call Power Management option (APIC, APM) ---> - [ ] Power Management support Bus option (PCI, PCMCIA, EISA, MCA, ISA) ---> - [*] PCI access support PCI access mode (Direct) ---> File systems ---> - Pseudo filesystems ---> - [ ] HugeTLB file system support The error massage may be printed by l4linux-2.6/Makefile (line 928). If there is not file "include/asm-$(ARCH)/Kbuild", it print the error in make. But I seem not to exist Kbuild in include/asm-l4 direcory ... What is the cause of the error ? I think that some settings about L4 environment are lacked. But I cannot understand the sure way to build L4Linux and its environment yet... Please help me ! Thanks and best regards, Lin

5 31

about build l4linux
by kashin Lin 19 Jul '07

19 Jul '07

Hi~ when i issue make to build l4linux in directory l4linux-2.6/, i got some error message: kashin08@kashin08-desktop:~/L4Linux/L4_x86/l4linux-2.6$ make CHK include/linux/version.h CHK include/linux/utsrelease.h CC arch/l4/kernel/asm-offsets.s In file included from include/linux/irqflags.h:46, from include/asm-l4/l4-arch/asm/system.h:507, from include/asm-l4/l4-arch/asm/processor.h:18, from include/asm-l4/i386-arch/asm/atomic.h:5, from include/linux/crypto.h:20, from arch/l4/kernel/asm-offsets.c:8: include/asm-l4/l4-arch/asm/irqflags.h: in function 「raw_irqs_disabled_flags」： include/asm-l4/l4-arch/asm/irqflags.h:168: Error：「L4_IRQ_DISABLED」 not declare In file included from include/asm-l4/l4-arch/asm/suspend.h:7, from include/linux/suspend.h:5, from arch/l4/kernel/asm-offsets.c:12: include/asm-l4/i386-arch/asm/i387.h: in function 「save_init_fpu」： include/asm-l4/i386-arch/asm/i387.h:101: Error：「l4lx_fpu_enabled」 not declare make[1]: *** [arch/l4/kernel/asm-offsets.s] Error 1 make: *** [prepare0] Error 2 my gcc and g++ and make version are: gcc 4.1.2 g++ 4.1.2 make 3.81 how to fix it? i have tried to trace the code and think this error should never appear.

2 9

building l4linux
by kashin Lin 15 Jul '07

15 Jul '07

Hi~ i have some questions again. my building sequence is : ====================================== in l4_all/kernel/fiasco 1. make BUILDDIR=../../build/fiasco in l4_all/build/fiasco 2. make menuconfig in l4_all/l4 3. make config O=../build/l4env 4. make O=../build/l4env ====================================== my questions : 1. when i issue make in l4/ to build the L4 userland, does it automatic build fiasco subsequently？ 2. if yes, is its default output path for fiasco l4_all/kernel/fiasco/build? ( after the operations mentioned above, i find there are some new files in l4_all/kernel/fiasco/build ) but my configuration for fiasco is in l4_all/build/fiasco, is this auto build operation based on my config? or i should set BUILDDIR to l4_all/kernel/fiasco/build? when config l4linux: according to http://os.inf.tu-dresden.de/L4/LinuxOnL4/build-2.6.shtml, there are some options we shouldn't enable ex: like ACPI, SMP, preemption, apic/ioapic, HPET, highmem, MTRR, MCE, power management and similar. 1. does those options are default unable? or we should unable manually? 2. what does "similar" mean? thanks for answering.

2 5

problem when booting l4linux
by junioraozhi＠sina.com 13 Jul '07

13 Jul '07

Hi all! I need your help again. I have built the fiasco,l4env,l4linux on my fedora core 5. But there are someting wrong with booting l4linux,it says "The running kernel does not have the l4lx segments " and goes to jdb. The following is the log when booting ,and also the configuration file ,menu.list  Thx!     >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>                LOG                >>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>   Welcome to Fiasco(ia32)! DD-L4(v2)/x86 microkernel (C) 1998-2007 TU Dresden Rev: r121 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 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: GenuineIntel (F:4:3:0) Model: Pentium 4E (Prescott/Nocona) at 3000 MHz    128 Entry I TLB (4K or 4M pages)   64 Entry D TLB (4k or 4M pages)  12K ?ops T Cache (8-way associative)   16 KB L1 D Cache (8-way associative, 64 bytes per line) 2048 KB L2 U Cache (8-way associative, 64 bytes per line)   Freeing init code/data: 20480 bytes (5 pages)   Calibrating timer loop... done. SIGMA0: Hello!   KIP @ 1000   Found Fiasco: KIP syscalls: yes   allocated 4KB for maintenance structures     Roottask.   Command line found: "/boot/l4linux/roottask task modname "bmodfs" attached 4 modules"     507454kB ( 495MB) total RAM (reported by bootloader)   461396kB ( 451MB) received RAM from Sigma0    25504kB (  25MB) 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 10 11 ]   Roottask: Parsing command line config.   configured task 0x00 (bmodfs):     vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:4   Roottask: Loading 14 modules. #05: loading "/boot/l4linux/events"      from [06121000-06161f16] to [01540000-01548b30][01549000-0155e5d0]      entry at 0005b370 via trampoline page code      symbols at [1c841000-1c843000] (8kB), lines at [1c83b000-1c841000] (24kB) #06: loading "/boot/l4linux/names --events"      from [06162000-0619fc75] to [002d0000-002d5eca][002d6000-002e1000]      entry at 0005c378 via trampoline page code      symbols at [1c839000-1c83b000] (8kB), lines at [1c834000-1c839000] (20kB) #07: loading "/boot/l4linux/log --events"      from [061a0000-061db22f] to [00400000-0040688a][00407000-00439848]      entry at 0005d374 via trampoline page code      symbols at [1c832000-1c834000] (8kB), lines at [1c82c000-1c832000] (24kB) #08: loading "/boot/l4linux/loader --fprov=BMODFS linuz26.cfg"      from [061dc000-062ade15] to [01300000-01324d9d][01325000-01343000]      entry at 0005e388 via trampoline page code      symbols at [1c826000-1c82c000] (24kB), lines at [1c80f000-1c826000] (92kB) #09: loading "/boot/l4linux/dm_phys --isa=0x00800000 -v --events"      from [062ae000-06337fa6] to [01500000-0151218a][01513000-0151d000]      entry at 0005f38c via trampoline page code      symbols at [1c80a000-1c80f000] (20kB), lines at [1c7fe000-1c80a000] (48kB) #0a: loading "/boot/l4linux/simple_ts -t 300 --events"      from [06338000-06381ed6] to [01400000-0140814a][01409000-01418608]      entry at 00061380 via trampoline page code      symbols at [1c7fc000-1c7fe000] (8kB), lines at [1c7f5000-1c7fc000] (28kB) #0b: loading "/boot/l4linux/rtc --events"      from [06382000-063b1cd7] to [01080000-010840c0][01085000-0108a000]      entry at 00062374 via trampoline page code      symbols at [1c7f3000-1c7f5000] (8kB), lines at [1c7ef000-1c7f3000] (16kB) #0c: loading "/boot/l4linux/l4io --noirq --events"      from [063b2000-066098e5] to [00b80000-00ba21b1][00ba3000-00c0b000]      entry at 0006337c via trampoline page code      symbols at [1c79c000-1c7ef000] (332kB), lines at [1c784000-1c79c000] (96kB) #0d: loading "/boot/l4linux/l4dope --l4io "      from [0660a000-06772ae0] to [01b00000-01b40fe5][01b41000-01b82000]      entry at 00064378 via trampoline page code      symbols at [1c776000-1c784000] (56kB), lines at [1c74c000-1c776000] (168kB) #0e: loading "/boot/l4linux/bmodfs"      from [06773000-0680f912] to [01220000-0123559d][01236000-0124d000]      passing module /boot/l4linux/vmlinuz26               [ 06810000-07752e29 ]      passing module /boot/l4linux/linuz26.cfg             [ 07753000-0775307a ]      passing module /boot/l4linux/libloader.s.so          [ 07754000-077f182c ]      passing module /boot/l4linux/libld-l4.s.so           [ 077f2000-0786a8f1 ]      entry at 00065420 via trampoline page code      symbols at [1c747000-1c74c000] (20kB), lines at [1c737000-1c747000] (64kB)   log     | /boot/l4linux/log: unrecognized option `--events' log     | Unrecognized option: - ? log     | Usage: /boot/l4linux/log <options>. Option list: log     |  [ -h | --help ]          - this help log     |  [ -v | --verbose ]       - verbose mode log     |  [ -l | --local ]         - flush to local console log     |  [ -L | --nolocal ]       - do not flush to local console log     |  [ -s | --comport num ]   - flush to specified serial interface (0) log     |  [ -e | --serial-esc ]    - enter kdebug on esc on serial log     |  [ -b | --buffer num ]    - buffered mode (0) log     |  [ --flushprio num ]      - priority of flusher thread (0x20) log     |  [ -p | --prio num ]      - priority of main thread (0x20) names   | Starting thread listening for `exit' events simplets| Configured for 300 tasks. rtc     | Date:09.07.2007 Time:08:54:28 DMphys  | DMphys memory map: DMphys  |   phys. memory 0x00000000-0x1eff0000 (from L4 kernel info page) DMphys  |   using 0x00100000-0x1eff0000 DMphys  |        Memory area      Pool  PS  Flags DMphys  |   0x00000000-0x0009f000  --   --  RESERVED  DMphys  |   0x00100000-0x00161000  --   --  RESERVED  DMphys  |   0x00161000-0x001cc000  --   --  DENIED DMphys  |   0x001cc000-0x002d0000   7   12  MAPPED  DMphys  |   0x002d0000-0x002e1000  --   --  DENIED DMphys  |   0x002e1000-0x00400000   7   12  MAPPED  DMphys  |   0x00400000-0x0043a000  --   --  DENIED DMphys  |   0x0043a000-0x00a17000   7   12  MAPPED  DMphys  |   0x00a17000-0x00b80000   0   12  MAPPED  DMphys  |   0x00b80000-0x00c0b000  --   --  DENIED DMphys  |   0x00c0b000-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-0x01b00000   0   12  MAPPED  DMphys  |   0x01b00000-0x01b82000  --   --  DENIED DMphys  |   0x01b82000-0x01c00000   0   12  MAPPED  DMphys  |   0x01c00000-0x06800000   0   22  MAPPED  DMphys  |   0x06800000-0x06810000   0   12  MAPPED  DMphys  |   0x06810000-0x0786b000  --   --  DENIED DMphys  |   0x0786b000-0x07c00000   0   12  MAPPED  DMphys  |   0x07c00000-0x1c400000   0   22  MAPPED  DMphys  |   0x1c400000-0x1c737000   0   12  MAPPED  DMphys  |   0x1c737000-0x1eff0000  --   --  DENIED DMphys  |  DMphys  | DMphys memory pools: DMphys  |  pool 0 (Default memory pool): DMphys  |  size: 437160KB total, 437160KB free,  32KB reserved DMphys  |   0x00a17000-0x00b80000 (  1444KB,    1MB) free DS: DMphys  |   0x00c0b000-0x01080000 (  4564KB,    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-0x01b00000 (  5764KB,    6MB) free DS: DMphys  |   0x01b82000-0x06810000 ( 78392KB,   77MB) free DS: DMphys  |   0x0786b000-0x1c737000 (342832KB,  335MB) free DS: DMphys  |  pool 7 (ISA DMA memory pool): DMphys  |  size:   8192KB total,   8192KB free,   0KB reserved DMphys  |   0x001cc000-0x002d0000 (  1040KB,    1MB) free DS: DMphys  |   0x002e1000-0x00400000 (  1148KB,    1MB) free DS: DMphys  |   0x0043a000-0x00a17000 (  6004KB,    6MB) free DS: bmodfs  | Passed the following modules: bmodfs  |   module "/boot/l4linux/vmlinuz26" (15628kB) bmodfs  |   module "/boot/l4linux/linuz26.cfg" (1kB) bmodfs  |   module "/boot/l4linux/libloader.s.so" (631kB) bmodfs  |   module "/boot/l4linux/libld-l4.s.so" (483kB) loader  | vmlinuz26: Starting application using libld-l4.s.so loader  | vmlinuz26,#f: Loading binary loader  | vmlinuz26,#f: Loading ldso loader  | Capability support not enabled. loader  | vmlinuz26,#f: Starting libld-l4.s.so at 00013870 via 0000cc54 l4dope  | /boot/l4linux/l4dope: unrecognized option `--l4io' l4dope  | DOpE(init): unknown option! io      | /boot/l4linux/l4io: unrecognized option `--noirq' io      | Enabling events support. io      | PCI: Using configuration type 1 io      | PCI: Probing PCI hardware io      | PCI: Probing PCI hardware (bus 00) io      | PCI: Ignoring BAR0-3 of IDE controller 00:1f.2 io      | Transparent bridge - Intel Corporation 82801 PCI Bridge io      | 00000000-ffffffff : PCI mem io      |   e0000000-efffffff : Intel Corporation 82865G/PE/P DRAM Controller/H io      : ost-Hub Interface io      |   f0000000-f7ffffff : Intel Corporation 82865G Integrated Graphics Co io      : ntroller io      |   f9000000-f90000ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/ io      : 8139C+ io      |   f9001000-f9001fff : Intel Corporation 82801EB/ER (ICH5/ICH5R) integ io      : rated LAN Controller io      |   fa000000-fa07ffff : Intel Corporation 82865G Integrated Graphics Co io      : ntroller io      |   fa080000-fa0803ff : Intel Corporation 82801EB/ER (ICH5/ICH5R) USB2  io      : EHCI Controller io      |   fa081000-fa0811ff : Intel Corporation 82801EB/ER (ICH5/ICH5R) AC'97 io      :  Audio Controller io      |   fa082000-fa0820ff : Intel Corporation 82801EB/ER (ICH5/ICH5R) AC'97 io      :  Audio Controller io      | 0000-ffff : PCI IO io      |   0cf8-0cff : PCI conf1 io      |   1400-141f : Intel Corporation 82801EB/ER (ICH5/ICH5R) SMBus Control io      : ler io      |   a000-a0ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/8139C+ io      |   a400-a43f : Intel Corporation 82801EB/ER (ICH5/ICH5R) integrated LA io      : N Controller io      |   b000-b01f : Intel Corporation 82801EB/ER (ICH5/ICH5R) USB UHCI Cont io      : roller #1 io      |   b400-b41f : Intel Corporation 82801EB/ER (ICH5/ICH5R) USB UHCI Cont io      : roller #2 io      |   b800-b81f : Intel Corporation 82801EB/ER (ICH5/ICH5R) USB UHCI Cont io      : roller #3 io      |   bc00-bc1f : Intel Corporation 82801EB/ER (ICH5/ICH5R) USB UHCI Cont io      : roller #4 io      |   c000-c007 : Intel Corporation 82865G Integrated Graphics Controller io      |   dc00-dcff : Intel Corporation 82801EB/ER (ICH5/ICH5R) AC'97 Audio C io      : ontroller io      |   e000-e03f : Intel Corporation 82801EB/ER (ICH5/ICH5R) AC'97 Audio C io      : ontroller io      |   f000-f00f : Intel Corporation 82801EB (ICH5) SATA Controller io      | Available IRQs=[ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f 10 11 ] l4dope  | L4INPUT native mode activated l4dope  | L4INPUT:                !!! W A R N I N G !!! l4dope  | L4INPUT:  Please, do not use Fiasco's "-esc" with L4INPUT. l4dope  | L4INPUT:                !!! W A R N I N G !!! ROOT: Sending ports 0060-006f to task #0c l4dope  | serio: i8042 AUX port at 0x60,0x64 irq 12 l4dope  | serio: i8042 KBD port at 0x60,0x64 irq 1 l4lx    | ======> L4Linux 2.6 starting... <======== l4lx    | Linux version 2.6.21-l4 (root@lgh-FC5) (gcc version 4.1.0 20060304 (R l4lx    : ed Hat 4.1.0-3)) #19 Wed Jul 4 10:19:59 CST 2007 l4lx    | Binary name: vmlinuz26 l4lx    | Kernel command line (4 args): earlyprintk=yes mem=256M video=l4fb roo l4lx    : t=/dev/sda7 l4lx    | The running kernel does not have the l4lx    |       segments l4lx    | feature enabled!       --kernel feature missing!--------------------------------IP: 0040163b       [l4lx.main] (f.02) jdb:        >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>> the config file "linuz26.config"  >>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>   verbose 0 task "vmlinuz26" "earlyprintk=yes mem=256M video=l4fb root=/dev/sda7"     all_sects_writable     allow_cli     allow_vga     >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>       the menu.list of grub       >>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>   title L4Linux26/Fiasco+dope         root (hd0,6)         kernel /boot/l4linux/bootstrap         modaddr 0x06000000         module /boot/l4linux/main -nowait -nokdb -serial_esc -comspeed 115200 -c omport 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/loader --fprov=BMODFS linuz26.cfg         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  /boot/l4linux/l4dope --l4io         module  /boot/l4linux/bmodfs                 module  /boot/l4linux/vmlinuz26                 module  /boot/l4linux/linuz26.cfg                 module  /boot/l4linux/libloader.s.so                 module  /boot/l4linux/libld-l4.s.so         vbeset  0x117 506070         boot ------------------------------------------------------------------- MOTONBA篮球赛招募( http://d1.sina.com.cn/sina/limeng3/mail_zhuiyu/2007/mail_zhuiyu_20070709.ht… ) =================================================================== 注册新浪2G免费邮箱（ http://mail.sina.com.cn/chooseMode.html ）

2 1

Run L4linux on ARM platform
by kashin Lin 12 Jul '07

12 Jul '07

Hi~ i am a new hand to do this... so i really need some help & suggestions. this is my GOAL : run ( port ) L4linux on ARM platform (ARM920T-S3C2410) ( the link of that platform : PreSOCes-C in http://www.microtime.com.tw/English/PreSOC.htm ) i have some question: 1. i know L4Linux must run with l4(fiasco) & l4env.but when i want to download L4Linux from http://os.inf.tu-dresden.de/drops/download.html , instead of module " l4linux", svn only has module "l4linux-2.6-env". so i am confused that is this module(l4linux-2.6-env) contains L4Linux + fiasco + l4env or just L4Linux or not at all??? or give me a suggestion about what i should download to achieve my goal 2. to achieve my goal, i guess the process should be: cross-compile source code to image → load the image to target platform → modify bootloader to boot from l4linux → finish is this process right ? should i modify any file before cross-compiling l4linux? are there any thing i should take care about? thanks for any suggestions. i really need your help. thank you~

2 13

Installation for a dummy..
by ComputerScienceStudent 09 Jul '07

09 Jul '07

I'm an universitary computer science student and I've to do some benchmarks on microkernel's OS. Because I'd not ever install, or try to do something similar, a OS like this, before I try to do an installation by my own, I prefer to ask someone who is a specialist in these stuff. I've to install L4 on my portable computer: in this machine I've already installed Windows XP and Suse10.2. Now, the question is: do I have to install L4 on Suse? Is there anothr way like install L4Linux? I understand that L4Linux is the L4 microkernel with the Linux kernel over it.. so I think that installing this distribution I can hold my old OSs on the the computer and simply I will create an entry in the bootloader to select the new one. Please, someone help me.. I'm in crisis.. :-| -- View this message in context: http://www.nabble.com/Installation-for-a-dummy..-tf4011030.html#a11390720 Sent from the L4 mailing list archive at Nabble.com.

2 4

Re: help, L4env build problem
by Bjoern Doebel 09 Jul '07

09 Jul '07

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi, > I have solved the probblem I raised before, That's due > to the error system time in my SUSE linux. Thanks a lot > for your help and time! > > but here is another question: > > when I build the l4env, the error message is : > > if [ -r ../dice/Makefile.drops ]; then \ > make -C ../dice -f Makefile.drops; \ > fi > make[1]: Entering directory `/home/fiasco/snapshot-200706/dice' > make all -f GNUmakefile > make[2]: Entering directory `/home/fiasco/snapshot-200706/dice' > make all-recursive > make[3]: Entering directory `/home/fiasco/snapshot-200706/dice' > Making all in libltdl > make[4]: Entering directory `/home/fiasco/snapshot-200706/dice/libltdl' > make all-am > make[5]: Entering directory `/home/fiasco/snapshot-200706/dice/libltdl' > make[5]: Nothing to be done for `all-am'. > make[5]: Leaving directory `/home/fiasco/snapshot-200706/dice/libltdl' > make[4]: Leaving directory `/home/fiasco/snapshot-200706/dice/libltdl' > Making all in src > make[4]: Entering directory `/home/fiasco/snapshot-200706/dice/src' > Making all in be > make[5]: Entering directory `/home/fiasco/snapshot-200706/dice/src/be' > Making all in l4 > make[6]: Entering directory `/home/fiasco/snapshot-200706/dice/src/be/l4' > Making all in v2 > make[7]: Entering directory `/home/fiasco/snapshot-200706/dice/src/be/l4/v2' > Making all in ia32 > make[8]: Entering directory `/home/fiasco/snapshot-200706/dice/src/be/l4/v2/ia32' > if g++ -DHAVE_CONFIG_H -I. -I. -I../../../../.. -Wall -I../../../../../src > -Wunused -Wunused-parameter -Wall -W -Wcast-align -Wcast-qual > -Wconversion -Wformat=2 -Wmissing-format-attribute -Wpointer-arith > -Wshadow -Wwrite-strings -Wstrict-aliasing=2 -g -O2 -MT V2IA32ClassFactory.o > -MD -MP -MF ".deps/V2IA32ClassFactory.Tpo" -c -o V2IA32ClassFactory.o > V2IA32ClassFactory.cpp; \ > then mv -f ".deps/V2IA32ClassFactory.Tpo" ".deps/V2IA32ClassFactory.Po"; > else rm -f ".deps/V2IA32ClassFactory.Tpo"; exit 1; fi > cc1plus: error: unrecognized option `-Wstrict-aliasing=2' This is the problem. Your C++ compiler does not understand the - -Wstrict-aliasing option. Please find out what compiler you are using by running $> g++ -v and post the output here again. > make[8]: *** [V2IA32ClassFactory.o] Error 1 > make[8]: Leaving directory `/home/fiasco/snapshot-200706/dice/src/be/l4/v2/ia32' > make[7]: *** [all-recursive] Error 1 > make[7]: Leaving directory `/home/fiasco/snapshot-200706/dice/src/be/l4/v2' > make[6]: *** [all-recursive] Error 1 > make[6]: Leaving directory `/home/fiasco/snapshot-200706/dice/src/be/l4' > make[5]: *** [all-recursive] Error 1 > make[5]: Leaving directory `/home/fiasco/snapshot-200706/dice/src/be' > make[4]: *** [all-recursive] Error 1 > make[4]: Leaving directory `/home/fiasco/snapshot-200706/dice/src' > make[3]: *** [all-recursive] Error 1 > make[3]: Leaving directory `/home/fiasco/snapshot-200706/dice' > make[2]: *** [all] Error 2 > make[2]: Leaving directory `/home/fiasco/snapshot-200706/dice' > make[1]: *** [all] Error 2 > make[1]: Leaving directory `/home/fiasco/snapshot-200706/dice' > make: *** [../dice] Error 2 > > please give me some suggestions! Bjoern -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGkecsP5ijxgQLUNkRAgL9AJ9OqH03E4z6T36mRie6vJDYB7AQXgCfRWh/ 7uKMfkqcBcfV9koBsNdsQuc= =z76d -----END PGP SIGNATURE-----

1 0

Re: help, L4env build problem
by Bjoern Doebel 09 Jul '07

09 Jul '07

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi, > I created a directory "fiasco" in "/home" and uncompressed the > "source-2007-06-30.tar.bz2" in this directory, then I entered > the directory "/home/fiasco/snapshot-200706/l4" as root . First of all there is no reason to build anything as root. > In this directory, I ran the command > "DROPS_STDDIR=/home/fiasco/snapshot-200706/ \ make oldconfig", Why would you do that? Please follow the build instructions for the snapshot which are available from http://os.inf.tu-dresden.de/opentc/2007_june_inst.xml > the make process began to execute, but it won't > terminate. I have logged the output of make process in file > "build.log" as in the attachment. Please help me > to analyse what is the reason that caused this problem. Bjoern -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGkeYAP5ijxgQLUNkRAl5NAJ46K+WHpyChh1c/dTFTWvU2DxuJxwCdHYxV /ImsnTR9TcbO6xEq8I2ZN04= =T5q1 -----END PGP SIGNATURE-----

1 0

building l4 for mips64
by Antoine Amirault 09 Jul '07

09 Jul '07

HI! I'm always trying to build l4 for mips64. I've decided to try to correct errors i obtain during the compilation. I've repaired some of them but now I'm stuck. I think I've understand the problem, but I don't know how to solve it. When compiling, I got this error : /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc: In function `threadid_t sys_exchange_registers(threadid_t, word_t, word_t, word_t, word_t, word_t, threadid_t, bool)': /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:333: error: data type of 'pgr' isn't suitable for a register /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:333: error: register name given for non-register variable 'pgr' /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:333: confused by earlier errors, bailing out make[1]: *** [src/api/v4/exregs.o] Error 1 I've found in syscall.h where this function is declared. I got this code : #define return_exchange_registers(result, control, sp, ip, flags, pager, handle) \ { \ register word_t ctrl asm("$4") = control; /* a0 */ \ register word_t sp_r asm("$5") = sp; /* a1 */ \ register word_t ip_r asm("$6") = ip; /* a2 */ \ register word_t flg asm("$7") = flags; /* a3 */ \ register threadid_t pgr asm("$8") = pager; /* t0 */ \ register word_t hdl asm("$9") = handle; /* t1 */ \ \ __asm__ __volatile__ ( \ "" : : "r" (ctrl), "r" (sp_r), "r" (ip_r), \ "r" (flg), "r" (pgr), "r" (hdl) \ ); \ return (result); \ } I think that it's impossible to store a threadid_t in a register so i tried to cast it to word_t but after i got this error message : /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc: In function `threadid_t sys_exchange_registers(threadid_t, word_t, word_t, word_t, word_t, word_t, threadid_t, bool)': /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:333: error: expected primary-expression before "register" /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:333: error: expected `;' before "register" /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:333: error: `pgr' undeclared (first use this function) /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:333: error: (Each undeclared identifier is reported only once for each function it appears in.) /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:352: error: expected primary-expression before "register" /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:352: error: expected `;' before "register" make[1]: *** [src/api/v4/exregs.o] Error 1 Maybe my idea is not good or I haven't really understand the problem. Any ideas? Thanks Antoine

1 0