- l4-hackers - example.com Site

l4v2: l4linux2.6 Syscall logging via IPC in l4
by Andrew Davenport 07 Jul '05

07 Jul '05

Hello, I am trying to log linux syscalls from l4linux2.6 on top of l4v2. What is the simplest way to log this at the IPC level (i have enabled exception IPC) and log all the parameters? Thanks, Andrew

3 3

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

using patched gcc toolchain
by Emanuel Thomas 07 Jul '05

07 Jul '05

Hello, I want to use a patched gcc toolchain, but i'm going to have problems. Is there a global configuration file where I can (easily) which gcc (and other tools) should be used? Even "make confg" seems to use the standard gcc. Where can I change that? Emanuel

3 10

Re: [Fwd: Re: l4lx: console without con or dope --fixed]
by Julian Grizzard 06 Jul '05

06 Jul '05

All, With this setup, what's the best way to reboot the system remotely (e.g. via ssh)? Rebooting the L4Linux server appears to exit all linux related activities and terminate their L4 tasks but the system does not reboot. Thanks! -Julian > Hi, > > I got it working. I had to go into fiasco config: > cd .../l4/kernel/fiasco > make config > > and enable a fourth experimental option in ABI extensions: > -->Allow association of multiple IRQs > > > Thanks for help! > -andrew > > _______________________________________________ > l4-hackers mailing list > l4-hackers(a)os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers >

2 2

l4lx: l4FB via con and dope
by Andrew Davenport 06 Jul '05

06 Jul '05

Hi, I am trying to setup a lean l4linux-2.6 with a local text console, without dope or con. I got it printing out the console an login prompt but it ignores input from the keyboard. I have one of those multiplexing devices - that switches the keyboard, mouse and monitor from one computer to the other -- i have a computer for compiling and one for testing. This may be a reason why it ignores the keyboard.... Thanks, andrew

3 9

l4linux2.6
by Andrew Davenport 05 Jul '05

05 Jul '05

hello, I have an l4linux-2.6 setup. L4linux boots, but only creates up to the thread on IRQ 15, and does not create the thread on IRQ 11. Thanks, andrew

2 1

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