l4-hackers

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

2827 discussions

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

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

Jump to page:

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