l4-hackers June 2005

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

23 participants
40 discussions

exception -> l4_ipc ?
by Andrew Davenport 11 Jul '05

11 Jul '05

hi, i see thread::raise_exception(ts), and i know this is where l4 notices a linux sys call (int 0x80), however, i do *not* see where the ipc is sent to the linux server to tell it that a syscall has occured (and to get the parameters and handle it)... thanks in advance, -andrew

2 7

Some questions
by fabs0028＠free.fr 07 Jul '05

07 Jul '05

Hello, I first wanted to signal about a little problem i found : when i launch an application i did for l4 with the loader it works fine but after its end i want to launch a legacy linux application and i get the message KERNEL: Security violation: Not pager of 36. Maybe i forgot something to close my program but i don't know what or maybe it is something else. I also wondered if it was possible to build a standard linux kernel from the l4linux sources ? I think so but i'm not sure. And for a last question i'd like to know if there's a way to share devices such as for example hard drives between l4 and the l4linux server. I saw dde but i don't know if it is still up with the 2.6 portage and i haven't found a lot of doc about it except the manual. Thanx a lot for your help. Fabien Chaillou

2 2

l4linux lx: con vs text
by Emanuel Thomas 30 Jun '05

30 Jun '05

Hello, I started L4linux under Fiasco UX with the lx script in /tools/runux. "lx con" works. But "xl text" not, it seems to stop after a while with the message "DOpE is not registered at names!". ############# l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Binary name: vmlinuz26.ux l4lx | Kernel command line (7 args): mem=44M noreplacement video=l4fb:refres l4lx : hsleep:2000 root=1:0 load_ramdisk=1 ramdisk_size=16384 l4env_rd=/home l4lx : /thomas/l4/l4linux-ux/l4/cfg/drops-rd.rd l4lx | My DMphys is at 07.00 l4lx | My region mapper is at 0e.00 l4lx | My code starts at 0x003ff000 and ends at 0x00597198 [1632 KiB]. l4lx | Semaphore thread ID: 0e.01 l4lx | Areas: l4lx | Text: 003ff000 - 004f0000 [964kB] (a bit longer) l4lx | Data: 004f0000 - 00515240 [148kB] l4lx | Initdata: 00518000 - 0052e000 [88kB] l4lx | BSS: 0052e008 - 00597198 [420kB] l4lx | l4env_linux_startup thread 3. l4lx | l4lx_thread_create: Created thread 0e.03 (server) l4lx | main thread will be 0e.03 l4lx | l4env_register_pointer_section: addr = 4f0000 size = 258048 l4lx | with-init: virt: 0x004f0000 to 0x0052efff [252 KiB] l4lx | with-init: Number of physical regions: 1, 258048 Bytes l4lx | with-init: 1: Phys: 0x0128f000 to 0x012ce000, Size: 5102569 l4lx | main thread: received startup message. l4lx | Main memory size: 44MB l4lx | Main thread running, waiting... l4lx | Mainmem DS id: 42 l4lx | mainmem: virt: 0x00598000 to 0x03197fff [45056 KiB] l4lx | mainmem: Number of physical regions: 1, 46137344 Bytes l4lx | mainmem: 1: Phys: 0x0151b000 to 0x0411b000, Size: 5102319 l4lx | Filling lower ptabs... l4lx | Done (887 entries). l4lx | l4env_rd_path: /home/thomas/l4/l4linux-ux/l4/cfg/drops-rd.rd l4lx | Loading: /home/thomas/l4/l4linux-ux/l4/cfg/drops-rd.rd fuxfprov| open "/home/thomas/l4/l4linux-ux/l4/cfg/drops-rd.rd" by E.03 l4lx | INITRD: Size of RAMdisk is 16384KiB l4lx | RAMdisk from 3198000 to 4198000 [16384KiB] l4lx | l4x_setup_ti_thread_stack: ti = 0x904fe000 l4lx | l4lx_thread_create: Created thread 0e.04 (timer.i0) l4lx | DOpE is not registered at names!

2 3

task not cleared properly
by Bert van Leeuwen 30 Jun '05

30 Jun '05

After my main function has exited, the task still seems to live. On the serial debug console I see: myapp | Main function exit with code 0 but pressing N at the cmd prompt console shows: 1E.00 myapp.rm 1E.01 myapp.sem 1E.02 myapp.main and every time I run my app another instance appears... Is there anything I am supposed to do to make the task go away properly? I am running simple_ts and events, and my app is a l4env_freebsd app compiled in DROPS and running in the fiasco kernel. Let me know if I need to supply further information.

2 5

relocated address
by Bert van Leeuwen 30 Jun '05

30 Jun '05

Is there a way to get a program's relocated address? I think I need this to make my program work correctly when run from loader via tftp... I access a PCI device, the code at one point calls virt_to_bus, which uses an extern unsigned int offset which is 0, but there is a comment saying that the offset should be set to the program's relocated address instead of 0... Running my program from grub works just fine, but not from loader, presumably because of this. The program itself "works" from loader, but not the PCI interfacing, so I'm sure its got something to do with relocation. Any help would be greatly appreciated.

2 3

mem_layout.h Assertion - L4Linux-2.6 with bmodfs
by Julian Grizzard 29 Jun '05

29 Jun '05

All, I get this assertion from Fiasco when loading L4Linux-2.6 with bmodfs: Assertion failed: '(Address)addr < 4<<20' in auto/mem_layout.h:195 at f000efe5 Any pointers? Below is all my configuration information... Thanks! -Julian -------------- CONFIG AND LOGS ---------------------- Here's my system: 2.6GHz Pentium IV 1 GB RAM Here's my grub config: title L4Linux-2.6 root (hd1,0) kernel /boot/rmgr task modname "bmodfs" module module module modaddr 0x02000000 module /boot/main26 -nokdb -nowait -serial -comport 1 module /boot/bmodfs module /boot/libloader.s.so module /boot/run-script module /boot/vmlinuz26 module /boot/loader --fprov=BMODFS run-script Here's my run-script contents: modpath "/boot" sleep 2 task "vmlinuz26" "noreplacement mem=64M root=/dev/hdc1" Here's the full logs of bootup failure: root (hd1,0) Filesystem type is ext2fs, partition type 0x83 kernel /boot/rmgr task modname "bmodfs" module module module [Multiboot-elf, <0x100000:0x20dd8:0x0>, <0x121de0:0x491c:0xa4784>, shtab=0x1 cb118, entry=0x100000] modaddr 0x02000000 Setting module load address to 0x2000000 module /boot/main26 -nokdb -nowait -serial -comport 1 [Multiboot-module @ 0x2000000, 0x5a1ac bytes] module /boot/bmodfs [Multiboot-module @ 0x205b000, 0x185d4 bytes] module /boot/libloader.s.so [Multiboot-module @ 0x2074000, 0x89368 bytes] module /boot/run-script [Multiboot-module @ 0x20fe000, 0x50 bytes] module /boot/vmlinuz26 [Multiboot-module @ 0x20ff000, 0xd3ab2f bytes] module /boot/loader --fprov=BMODFS run-script [Multiboot-module @ 0x2e3a000, 0x2a174 bytes] Welcome to Fiasco(ia32)! DD-L4(v2)/x86 microkernel (C) 1998-2005 TU Dresden Rev: Tue Jun 28 12:17:38 2005 compiled with gcc 3.3.5 for Intel Pentium Performance-critical config option(s) detected: CONFIG_SCHED_RTC is on CONFIG_NDEBUG is off Enabling special fully nested mode for PIC Using the RTC on IRQ 8 (1kHz) for scheduling CPU: GenuineIntel (F:2:4:9) Model: Pentium 4 (Northwood/Prestonia) at 2524 MHz 64 Entry I TLB (4K or 4M pages) 64 Entry D TLB (4k or 4M pages) 12K µ-ops T Cache (8-way associative) 8 KB L1 D Cache (4-way associative, 64 bytes per line) 512 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 16384 bytes (4 pages) Assertion failed: '(Address)addr < 4<<20' in auto/mem_layout.h:195 at f000efe5 Return reboots, "k" enters L4 kernel debugger...

2 6

Memory management
by Julian Stecklina 29 Jun '05

29 Jun '05

Hello, let's say in my rootserver I need a contiguous block of memory 1 MB in size. I would request this memory from Sigma0 via L4_Sigma0_GetAny and get a single Flexpage of this size. In order to implement a fine-grained write-barrier on parts of this memory block, I need to make individual pages of this block read-only. As I understand it, the privileged system call MemoryControl provides this functionality, but: a) it is privileged, but all my servers would need this functionality. How is this efficiently accomplished? b) MemoryControl seems to operate on whole fpages only. How do I split a flexpage? Regards, -- Julian Stecklina "We were not out to win over the Lisp programmers; we were after the C++ programmers. We managed to drag a lot of them about halfway to Lisp." - Guy Steele, Java spec co-author

2 4

Handle and preserve segments - kernel bug?
by Emanuel Thomas 29 Jun '05

29 Jun '05

Hello, I've tried to start Linux under Fiasco-UX. But I got: l4lx | The running kernel does not have the l4lx | segments l4lx | feature enabled! So I compiled the kernel with support for "Handle and preserve segments". But now I get a kernel bug when trying to start it. Welcome to Fiasco(ux)! [...] Freeing init code/data: 20480 bytes (5 pages) KERNEL BUG at EIP:00043cd5 ESP:000b7998 -- PFA:50100108 ASSERTION_FAILED (Kmem::is_tcb_page_fault((Mword) kesp, 0)) in function static void Usermode::kernel_entry(ucontext*, Mword, Mword, Mword, Mword, Mword, Mword, Mword, Mword) in file [...]/l4/kernel/fiasco/src/kern/ux/usermode.cpp:204 I've tried it with gcc 3.3.5 and gcc 3.4.4. gcc-3.4 -v Reading specs from /usr/lib/gcc/i486-linux/3.4.4/specs Configured with: ../src/configure -v --enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr --libexecdir=/usr/lib --with-gxx-include-dir=/usr/include/c++/3.4 --enable-shared --with-system-zlib --enable-nls --without-included-gettext --program-suffix=-3.4 --enable-__cxa_atexit --enable-libstdcxx-allocator=mt --enable-clocale=gnu --enable-libstdcxx-debug --enable-java-gc=boehm --enable-java-awt=gtk --disable-werror i486-linux Thread model: posix gcc version 3.4.4 20050314 (prerelease) (Debian 3.4.3-13) gcc-3.3 -v Reading specs from /usr/lib/gcc-lib/i486-linux/3.3.5/specs Configured with: ../src/configure -v --enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-gxx-include-dir=/usr/include/c++/3.3 --enable-shared --enable-__cxa_atexit --with-system-zlib --enable-nls --without-included-gettext --enable-clocale=gnu --enable-debug --enable-java-gc=boehm --enable-java-awt=xlib --enable-objc-gc i486-linux Thread model: posix gcc version 3.3.5 (Debian 1:3.3.5-13)

5 12

booting l4linux under drops
by Emanuel Thomas 27 Jun '05

27 Jun '05

Hello, I've tried to boot L4Linux under Dope using the grub menu from the demo cd. But there is no dopelog and doperun being build by the cvs source. What is initrd.gz good for? Anyway not using these tasks or using the ones from the demo cd results in a frozen system after dope has launched. Is there really no Dope client application available in the cvs source? Thanks in advance, Emanuel

2 1

run the user program on top of L4
by kathiravel thayapararajh 27 Jun '05

27 Jun '05

Hi all, I've succefully run the L4Ka::Pistachio using qemu simulater. I want to write user program or servers on top of L4. Please anybody help, how to compile, load into the kernel and run the user program. since i am beginner, please give some reference that i can used to refer. Thanks. Thayapararajh. __________________________________ Yahoo! Mail Mobile Take Yahoo! Mail with you! Check email on your mobile phone. http://mobile.yahoo.com/learn/mail

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 June 2005