- l4-hackers - example.com Site

Cannot access to CVS
by ernesto bascon 16 Oct '06

16 Oct '06

I get the following errors trying to getting Fiasco from your remote CVS: eto@eto ~/l4/fiasco $ cvs -z3 -d :pserver:guest@os.inf.tu-dresden.de:/home/remote-cvs checkout l4linux-2.6 cvs checkout: Updating l4linux-2.6 cvs checkout: failed to create lock directory for `/home/remote-cvs/l4linux-2.6' (/home/remote-cvs/l4linux-2.6/#cvs.lock): Permission denied cvs checkout: failed to obtain dir lock in repository `/home/remote-cvs/l4linux-2.6' cvs [checkout aborted]: read lock failed - giving up Any ideas?

2 2

How does Fiasco implement hard real-time function?
by chenggh 16 Oct '06

16 Oct '06

Hi: I want to know how Fiasco implments the hard real-time function. Can you recommend some papers or souce code to me? Thank you. chenggh

2 1

Fiasco.image with debugging information
by 김광식 15 Oct '06

15 Oct '06

   Hi,    I work with fiasco kernel in arm platform.    I want to debug fiasco kernel with debugging tool.    But, I need to get fiasco kernel object with debuging information.    First I put this flags in Makefile.   ----------------------------------------------------  vi kernel/fiasco/build/Makefile ...  CFLAGS        += -g  CPPFLAGS += -g  SFLAGS += -g ... -----------------------------------------------------    after make, fiasco.image has no debugging information.    and also I try  this flags. no change. ----------------------------------------------------  vi kernel/fiasco/build/Makefile .. CARCHFLAGS_arm += -g CPPARCHFLAGS_arm += -g ASFLAGS_arm += -g ... -----------------------------------------------------    So I try to roottask(l4env).  I put this flags in config file. ----------------------------------------------------  vi l4/mk/modes.inc ... CARCHFLAGS_arm += -g CPPARCHFLAGS_arm += -g ASFLAGS_arm += -g ... -----------------------------------------------------  after make, roottask has a debugging information.    How can I get fiasco.image with debugging information?       

2 1

Boot problem with the new version of l4linux on Xscale
by WanKeun Jo 14 Oct '06

14 Oct '06

Hi! I tried to run Fiasco-L4Linux on Xscale board. I'm using L4Linux-2.6.17 version. First, I made a bootstap image (=bootstrap.raw) and loaded on Xscale and run it. But some server programs' ranges were overlapped, so I fixed some server programs' DEFAULT_RELOC_arm address, and then started working. During the boot process, "Warning: Unable to open an initial console" is warned and halt. I checked on boot process after ram disk is loaded, dev file path lookup fails.. So as to mount dev file system again after loading ram disk, I added "devfs options" to fs/Kconfig. And then the warning message is not presented. But after that, I got a new error message --------------------------------------------------------------------------------------------- Assertion failed: 'space() == current_space()' in /home/jowkju/project/Microkernel/Fiasco/Fiasco_Xscale/l4/kernel/fiasco/src/kern/thread- pagefault.cpp:82 at f0005400 --------------------------------------------------------------------------------------------- This error may occur during the "init" program in ram disk execute. However, there may not be errors in init program because it works well in the 2.6.16 version. And maybe the problem occurs during the context switching between "init" program and other threads... The following is the whole messages from boot starts. --------------------------------------------------------------------------------------------- Starting kernel... Hello from Startup::stage2 Initialize page table Vmem_alloc::init() allocated zero page @0xf0400000[phys=0xa3800000] Vmem_alloc::TEST allocate zero-mapped page... [0xefc00000] done free zero-mapped page... done allocate zero-filled page... [0xefc01000] done free zero-filled page... done allocate no-zero-filled page... [0xefc02000] done free no-zero-filled page... done SERIAL ESC: allocated IRQ 22 for serial uart Not using serial hack in slow timer handler. Welcome to Fiasco(arm)! DD-L4(x0)/arm microkernel (C) 1998-2006 TU Dresden Rev: Fri Sep 15 09:49:11 2006 compiled with gcc 3.4.4 for XScale SIGMA0[2.0]: Hello World! SIGMA0: KIP is at: a0001000 SIGMA0 free region: : a0000000, a3ffffff SIGMA0 alloc region: : a0000000, a003ffff owner: 1 SIGMA0 alloc region: : a004c000, a005f7ff owner: 1 SIGMA0 alloc region: : a3800000, a3ffffff owner: 1 Roottask. Command line found: "roottask task modname "bmodfs" module module module module module" 66172kB ( 64MB) total RAM (reported by bootloader) 56652kB ( 56MB) received RAM from Sigma0 7868kB ( 8MB) reserved RAM for RMGR 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:5 Roottask: Loading 12 modules. #05: loading "names" from [a146c000-a14761a4] to [a0109000-a0110e20][a0111000-a011b000] entry at a0041060 via trampoline page code #06: loading "log" from [a1477000-a148730c] to [a0160000-a0167f18][a0168000-a01956d4] entry at a004205c via trampoline page code #07: loading "dm_phys -v" from [a1488000-a14a61a4] to [a01b0000-a01c4c78][a01c5000-a01ce000] entry at a0043064 via trampoline page code #08: loading "simple_ts -t 10" from [a14a7000-a14ba30c] to [a0290000-a029a1f0][a029b000-a02a35a0] entry at a0044068 via trampoline page code #09: loading "l4exec" from [a14bb000-a14f71a4] to [a01e0000-a0212348][a0213000-a022c000] entry at a0045060 via trampoline page code #0a: loading "bmodfs" from [a14f8000-a151d1a4] to [a0240000-a025b0a8][a025c000-a0273000] passing module libloader.s.so [ a151e000-a1547eec ] passing module shared_test [ a1548000-a1549700 ] passing module vmlinuz26.arm [ a154a000-a173c5b4 ] passing module rd1 [ a173d000-a1b3d000 ] passing module l4linux.cfg [ a1b3d000-a1b3d0b0 ] entry at a00460ec via trampoline page code #0b: loading "loader --fprov=BMODFS l4linux.cfg" from [a1b3e000-a1b721a4] to [a02c0000-a02eaff4][a02eb000-a0309000] entry at a004707c via trampoline page code simplets| Configured for 10 tasks. DMphys | DMphys memory map: DMphys | phys. memory 0xa0000000-0xa4000000 (from L4 kernel info page) DMphys | using 0xa0000000-0xa4000000 DMphys | Memory area Pool PS Flags DMphys | 0xa0000000-0xa0068000 -- -- RESERVED DMphys | 0xa0068000-0xa00bb000 -- -- DENIED DMphys | 0xa00bb000-0xa00cf000 -- -- RESERVED DMphys | 0xa00cf000-0xa0109000 0 12 MAPPED DMphys | 0xa0109000-0xa011b000 -- -- DENIED DMphys | 0xa011b000-0xa0160000 0 12 MAPPED DMphys | 0xa0160000-0xa0196000 -- -- DENIED DMphys | 0xa0196000-0xa01b0000 0 12 MAPPED DMphys | 0xa01b0000-0xa01cd000 -- -- RESERVED DMphys | 0xa01cd000-0xa01e0000 0 12 MAPPED DMphys | 0xa01e0000-0xa022c000 -- -- DENIED DMphys | 0xa022c000-0xa0240000 0 12 MAPPED DMphys | 0xa0240000-0xa0273000 -- -- DENIED DMphys | 0xa0273000-0xa0290000 0 12 MAPPED DMphys | 0xa0290000-0xa02a4000 -- -- DENIED DMphys | 0xa02a4000-0xa02c0000 0 12 MAPPED DMphys | 0xa02c0000-0xa0309000 -- -- DENIED DMphys | 0xa0309000-0xa0400000 0 12 MAPPED DMphys | 0xa0400000-0xa1500000 0 20 MAPPED DMphys | 0xa1500000-0xa151e000 0 12 MAPPED DMphys | 0xa151e000-0xa1b3e000 -- -- DENIED DMphys | 0xa1b3e000-0xa1c00000 0 12 MAPPED DMphys | 0xa1c00000-0xa3800000 0 20 MAPPED DMphys | 0xa3800000-0xa4000000 -- -- DENIED DMphys | DMphys | DMphys memory pools: DMphys | pool 0 (Default memory pool): DMphys | size: 48960KB total, 48960KB free, 32KB reserved DMphys | 0xa00cf000-0xa0109000 ( 232KB, 0MB) DMphys | 0xa011b000-0xa0160000 ( 276KB, 0MB) DMphys | 0xa0196000-0xa01b0000 ( 104KB, 0MB) DMphys | 0xa01cd000-0xa01e0000 ( 76KB, 0MB) DMphys | 0xa022c000-0xa0240000 ( 80KB, 0MB) DMphys | 0xa0273000-0xa0290000 ( 116KB, 0MB) DMphys | 0xa02a4000-0xa02c0000 ( 112KB, 0MB) DMphys | 0xa0309000-0xa151e000 ( 18516KB, 18MB) DMphys | 0xa1b3e000-0xa3800000 ( 29448KB, 29MB) bmodfs | Passed the following modules: bmodfs | module "libloader.s.so" (168kB) bmodfs | module "shared_test" (6kB) bmodfs | module "vmlinuz26.arm" (1994kB) bmodfs | module "rd1" (4096kB) bmodfs | module "l4linux.cfg" (1kB) loader | sleeping for 1000 ms exec | vmlinuz26.arm: Loading exec | vmlinuz26.arm: Interpreter section found, contains "/usr/lib/ld.so.1" exec | vmlinuz26.arm: Has no symbols exec | vmlinuz26.arm: Has no lines exec | libloader.s.so: Loading exec | libloader.s.so: Has no symbols exec | libloader.s.so: Has no lines exec | libloader.s.so: Relocating to 00010000 exec | libloader.s.so: Linking exec | libloader.s.so: Symbol l4sys_fixup_abs_syscalls is weak and undefined exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Relocating entry 00006400 => 00016400 exec | libloader.s.so: Setting section flag 0800 exec | vmlinuz26.arm: Setting section flag 0800 loader | vmlinuz26.arm: Starting l4env-style application loader | vmlinuz26.arm,#c: Starting at l4loader_init (00016440) exec | vmlinuz26.arm: Linking exec | vmlinuz26.arm: Relocating entry 00216000 => 00216000 loader | vmlinuz26.arm,#c: Continue at l4env_init (00016b60, libloader.s.so) l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.17-l4 (jowkju@jowk) (gcc version 3.4.4) #44 Sat Oct l4lx : 14 12:21:10 KST 2006 l4lx | Binary name: vmlinuz26.arm l4lx | Kernel command line (9 args): root=1:0 mem=16M load_ramdisk=1 ramdisk l4lx : _size=4096 l4env_rd=rd1 console=ttyLv0 l4ser.vkey_irq=46 panicblink=0 l4lx : lang=us l4lx | Image: 00200000 - 00434000 [2256 KiB]. l4lx | Areas: Text: 00200000 - 0039c000 [1648kB] (a bit longer) l4lx | Data: 0039c000 - 003e2fb0 [283kB] l4lx | Initdata: 00200000 - 00215000 [84kB] l4lx | BSS: 003e8000 - 00434000 [304kB] l4lx | l4lx_thread_create: Created thread 0c.03 (tamer) l4lx | Using tamed mode. l4lx | l4lx_thread_create: Created thread 0c.04 (server) l4lx | main thread will be 0c.04 l4lx | l4env_register_pointer_section: addr = 00200000 size = 2310144 l4lx | sec-w-init: virt: 0x00200000 to 0x00433fff [2256 KiB] l4lx | Noncontiguous region for sec-w-init l4lx | sec-w-init: Number of physical regions: 4, 2310144 Bytes l4lx | l4env_linux_startup thread 4. l4lx | sec-w-init: 1: Phys: 0xa0309000 to 0xa04a1000, Size: 1671168 l4lx | sec-w-init: 2: Phys: 0xa011b000 to 0xa0160000, Size: 282624 l4lx | sec-w-init: 3: Phys: 0xa00cf000 to 0xa0109000, Size: 237568 l4lx | sec-w-init: 4: Phys: 0xa0273000 to 0xa0290000, Size: 118784 l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main memory size: 16MB l4lx | Main memory: virt: 0x00500000 to 0x014fffff [16384 KiB] l4lx | Main memory: Number of physical regions: 1, 16777216 Bytes l4lx | Main memory: 1: Phys: 0xa2800000 to 0xa3800000, Size: 16777216 l4lx | Filling lower ptabs... l4lx | Done (650 entries). l4lx | l4env_rd_path: rd1 l4lx | Loading: rd1 l4lx | INITRD: Size of RAMdisk is 4096KiB l4lx | RAMdisk from 01500000 to 01900000 [4096KiB] l4lx | l4lx_thread_create: Created thread 0c.05 (IRQ CPU0) l4lx | l4lx_thread_create: Created thread 0c.06 (timer.i0) Linux version 2.6.17-l4 (jowkju@jowk) (gcc version 3.4.4) #44 Sat Oct 14 12:21:10 KST 2006 CPU: Fiasco [0001f000] revision 0 (ARMv4) cpu_sa1100_proc_init Machine: L4 Memory policy: ECC disabled, Data cache writeback CPU0: D write-through cache CPU0: cache: 512 bytes, associativity 1, 8 byte lines, 64 sets INITRD: 01500000 - 01900000 Built 1 zonelists Kernel command line: root=1:0 mem=16M load_ramdisk=1 ramdisk_size=4096 l4env_rd=rd1 console=ttyLv0 l4ser.vkey_irq=46 panicblink=0 lang=us l4lx_irq_init: l4lx_irq_max = 50 l4lx_irq_init: creating IRQ thread on cpu 0 irq_thread: Starting IRQ thread on CPU 0 PID hash table entries: 128 (order: 7, 512 bytes) l4lx_irq_timer_startup(0) timer_irq_thread: Starting timer IRQ thread. l4ser_init_ports Dentry cache hash table entries: 4096 (order: 2, 16384 bytes) Inode-cache hash table entries: 2048 (order: 1, 8192 bytes) Memory: 5MB 16MB = 21MB total Memory: 16152KB available (1556K code, 608K data, 84K init) Mount-cache hash table entries: 512 ROOT FS, MOUNT TREE INITIALIZATION COMPLETED checking if image is initramfs...it isn't (bad gzip magic numbers); looks like an initrd INITRD: Freeing memory. NET: Registered protocol family 16 NET: Registered protocol family 2 l4lx | l4lx_thread_create: Created thread 0c.07 (Idler) IP route cache hash table entries: 256 (order: -2, 1024 bytes) TCP established hash table entries: 1024 (order: 0, 4096 bytes) TCP bind hash table entries: 512 (order: -1, 2048 bytes) TCP: Hash tables configured (established 1024 bind 512) TCP reno registered NetWinder Floating Point Emulator V0.97 (double precision) devfs: 2004-01-31 Richard Gooch (rgooch(a)atnf.csiro.au) devfs: devfs_debug: 0x0 devfs: boot_options: 0x1 io scheduler noop registered (default) L4 serial driver l4ser_init_ports ttyLv0 at MMIO 0x1 (irq = 46) is a L4 RAMDISK driver initialized: 16 RAM disks of 4096K size 1024 blocksize nbd: registered device at major 43 ts: Compaq touchscreen protocol output TCP bic registered NET: Registered protocol family 1 NET: Registered protocol family 17 RAMDISK: ext2 filesystem found at block 0 RAMDISK: Loading 4096KiB [1 disk] into ram disk... done. VFS: Mounted root (ext2 filesystem) readonly. Mounted devfs on /dev execve for /sbin/init Allocated 0d.00 Assertion failed: 'space() == current_space()' in /home/jowkju/project/Microkernel/Fiasco/Fiasco_Xscale/l4/kernel/fiasco/src/kern/thread-pagefault.cpp:82 at f0005400 Return reboots, "k" enters L4 kernel debugger... BUG: soft lockup detected on CPU#0! --------------------------------------------------------------------------------------------- How can I solve this problem?? One thing to notice is that there's no problem like the above in the previous version of l4linux. In the previous version, boot process works well. Again, how can I solve this problem?? Thank you

2 1

how-to questions
by Ratko Rudič 10 Oct '06

10 Oct '06

Hello again, while playing with l4 I got couple of (easy) questions. 1. Can DOpE write a log anywhere on filesystem? 2. Where can I see how much memory I can assign to vmlinuz (how much memory uses DOpE and L4)? 3. What are those 4 slide bars by the linux window in DOpE? 4. How can I run more that one Linux process? 5. Can I use pistachio in place of fiasco? If so, how? 6. How do I halt L4 and DOpE? Hope it's not too much to answer. ratko

4 5

vbe info block
by Ratko Rudič 09 Oct '06

09 Oct '06

Helo again, The boot process (with dresdens's grub) stops with: "Did not found VBE info block in multiboot info. Grub has to set the video mode with the vbset command" vbeprobe in grub returns: 0x109, 0x10a, 0x10b, 0x10c I tried with "vbeset 0x117", "vbeset 0x109" and "vbeset 0x10c" in menu.lst, but get: "Mode 0x117 is not supported" Then I tried with debian's grub 0.95 but it doesnt recognize "modaddr". Any ideas? ratko

2 2

crt0_tramppage
by Ratko Rudič 07 Oct '06

07 Oct '06

Hi all! In the last stage of L4Linux-2.6 compile I get "undefined reference to crt0_tramppage" and similar crt0 errors. /usr/.../l4v2/libloader.s.so: undefined reference to 'crt0_tramppage'. .... What am I missing? I searched 2006 and 2005 archives and found a post on "Thu Feb 24 11:01:11 2005" but no definite answer that would help me. Greetings, Ratko Rudič

4 3

Assertion failed in Fiasco-UX
by Marcel Winandy 06 Oct '06

06 Oct '06

Hello! When I try to start fiasco-ux on my Linux system, it stops with the following message: ASSERTION_FAILED (((((*(int *) &(status))) & 0xff) == 0x7f) && ((((*(int *) &(status))) & 0xff00) >> 8) == 10) in function static unsigned int Hostproc::create(unsigned int) in file /DROPS/l4/kernel/fiasco-ux/src/kern/ux/hostproc.cpp:120 If I run the same binaries on different machines there is no problem and fiasco-ux starts as expected. The only difference between my machine and the others seems to be a different hosting Linux kernel. Are there any Linux-specific problems known? I am not sure, but this seems to be a bug in fiasco-ux. Kind regards, Marcel -- Marcel Winandy http://www.prosec.rub.de/staff/winandy.html Applied Data Security Group, Ruhr-University Bochum, Germany

2 2

L4 and ARM TrustZone
by Francis M. David 06 Oct '06

06 Oct '06

Is anyone looking at how TrustZone can be used in NICTA's ARM implementation? -Francis

2 1

TFTP does not work with QEMU
by Daniel Vandersee 05 Oct '06

05 Oct '06

Hello, when I try to run tftp under QEMU 0.8.2 with an emulated pcnet or ne2k-pci network card I get the following error. However, tftp under VMWare works just fine. Any help would be appreciated. Kind regards, Daniel > names | Starting thread listening for `exit' events > simplets| Configured for 30 tasks. > rtc | Date:02.10.2006 Time:14:42:15 > io | do_args(): Disabling internal IRQ handling. > tftp | NICs supported: E1000, EEPRO100, NE2000/PCI, PCNET32/PCI, RTL8139, > tftp | Tulip, VIA 86C100 > io | PCI: Using configuration type 1 > io | PCI: Probing PCI hardware > io | PCI: Probing PCI hardware (bus 00) > > KERNEL: d.3 (tcb=c0341800) killed: > Unhandled trap > > EAX 12378000 EBX 000f0000 ECX 00000000 EDX 00009fa0 > ESI 00000000 EDI 01044e30 EBP 0102ff8c ESP 0102ff7c > EIP 000f9f9b EFLAGS 00013206 > CS 001b SS 0023 DS 0023 ES 0023 FS 0023 GS 0043 > trap 13 (General Protection), error 00000018, from user mode > (internal event regarding GDT entry no. 0x03) > io | PCI: PIIX3: Enabling Passive Release on 00:01.0 > io | Limiting direct PCI/PCI transfers. > io | Activating ISA DMA hang workarounds. > io | 00000000-ffffffff : PCI mem > io | e0000000-e07fffff : PCI device 1234:1111 (Technical Corp.) > io | e1000000-e100001f : Advanced Micro Devices [AMD] 79c970 [PCnet32 LA > io : NCE] > io | 0000-ffff : PCI IO > io | 0cf8-0cff : PCI conf1 > io | b000-b03f : Intel Corp. 82371AB/EB/MB PIIX4 ACPI > io | c000-c00f : Intel Corp. 82371SB PIIX3 IDE [Natoma/Triton II] > io | c020-c03f : Advanced Micro Devices [AMD] 79c970 [PCnet32 LANCE]

3 4