l4-hackers January 2009

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

9 participants
9 discussions

Back to UTCB IPC
by Marc CHALAND 11 Oct '09

11 Oct '09

Hi, I am back with my problem with UTCB IPC. To sum up the context : I use pure l4env applications. Here is the scenario between my server and my client : 1. client makes an UTCB IPC to manager. Manager does an l4rm_area_reserve, creates a rcv_fpage, creates worker and sends back worker thread id to client. 2. client allocates memory and associated flexpage and sends it to server. 3. UTCB IPC is sent to worker with 3 parameters : - on client side : utcb->values=0xbff00200: arg1=0x2 arg2=… [View More]

4 9

FW: libgendep, compiling problems
by Protasio Ramirez, Joan 16 Feb '09

16 Feb '09

From: Protasio Ramirez, Joan Sent: Tuesday, January 13, 2009 5:04 PM To: 'hanwen(a)cs.uu.nl'; 'jork.loeser(a)inf.tu-dresden.de' Subject: libgendep, compiling problems Hi all, My name’s joan. I’m making an application which works with libgendep. I have tried once before with the library and I didn’t have problems. Unfortunately, this time I’m having problems with it. I have compiled the library (modifying some parameters in Makefile) but when I make a proof the shell shows me … [View More]

2 9

Problem of running L4Linux
by Adam Chang 09 Feb '09

09 Feb '09

Dear all: I have succeeded in building L4Linux, and then I tried to boot Fiasco and run L4Linux on VMware.When I tried to download your version of GRUB bootloader on SVN, it said "At revision 422", not downloaded something. So where can I download the source code of your version of GRUB bootloader? And is there some documentation of running L4Linux on Fiasco? Thanks! Best Regards. Adam Chang -- Adam Hung-Hsiang Chang windbread(a)gmail.com +886-987-335398 Wireless Networking and Embedded … [View More]

5 17

Problem of booting L4Linux2.6
by lvmengxuan 18 Jan '09

18 Jan '09

I had some problem when I was booting L4linux2.6 on Fiasco1.2 . The following is my menu.lst =====Begin of menu.lst========= title L4Linux26/Fiasco+dope root (hd0,3) kernel /L4Linux/bootstrap modaddr 0x06000000 module /L4Linux/main -nowait -nokdb -serial_esc -comspeed 115200 -comport 1 module /L4Linux/sigma0 module /L4Linux/roottask task modname "bmodfs" attached 4 modules module /L4Linux/events module /… [View More]L4Linux/names --events module /L4Linux/log --events module /L4Linux/dm_phys --isa=0x00800000 -v --events module /L4Linux/simple_ts -t 300 --events module /L4Linux/rtc --events module /L4Linux/l4io --noirq --events module #module /L4Linux/l4exec --events module /L4Linux/loader --fprov=BMODFS linux26.cfg module /L4Linux/bmodfs module /L4Linux/vmlinuz module /L4Linux/linux26.cfg module /L4Linux/libloader.s.so module /L4Linux/libld-l4.s.so =====End of menu.lst========= And the following is the loader script for L4linux =====Begin of l4linux26.cfg========= modpath "(hd0,3)/boot/L4Linux" task "vmlinuz" "earlyprintk=yes console=tty0,115200 init=1 mem=64M root=/dev/sda8" all_sects_writable =====End of l4linux26.cfg========= and the following is the problem when booting l4linux2.6: =====Begin of booting========= Welcome to Fiasco(ia32)! DD-L4(v2)/ia32 microkernel (C) 1998-2008 TU Dresden Rev: rUNKNOWN compiled with gcc 4.2.4 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 (6:F:B:0) Model: Core 2 (Mero 128 Entry I TLB (4K pages) 272 Entry D TLB (4K pages) 48 Entry D TLB (4M pages) 32 KB L1 I Cache (8-way associative, 64 bytes per line) 32 KB L1 D Cache (8-way associative, 64 bytes per line) 4096 KB L2 U Cache (16-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: "/L4Linux/roottask task modname "bmodfs" s" 2087167kB (2038MB) total RAM (reported by bootloader) 2018440kB (1972MB) received RAM from Sigma0 12368kB ( 13MB) 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 13 modules. #05: loading "/L4Linux/events" from [0612e000-0616f960] to [01540000-01548dd0][01549000 entry at 0005d068 via trampoline page code symbols at [7bbfe000-7bc00000] (8kB), lines at [7bbf7000-7bbfe000] (28kB) #06: loading "/L4Linux/names --events" from [06170000-061b1f63] to [002d0000-002d67b7][002d7000-002e2000] entry at 0005e070 via trampoline page code symbols at [7bbf5000-7bbf7000] (8kB), lines at [7bbef000-7bbf5000] (24kB) #07: loading "/L4Linux/log --events" from [061b2000-061f0df2] to [00400000-00406eca][00407000-00439828] entry at 0005f070 via trampoline page symbols at [7bbed000-7bbef000] (8kB), lines at [7bbe7000-7bbed000] (24kB) #08: loading "/L4Linux/dm_phys --isa=0x00800000 -v --events" from [061f1000-0628ce37] to [01500000-01513937][01514000-0151e000] entry at 00060088 via trampoline page code symbols at [7bbe2000-7bbe7000] (20kB), lines at [7bbd4000-7bbe2000] (56kB) #09: loading "/L4Linux/simple_ts -t 300 --events" from [0628d000-062db7e3] to [01400000-01408bea][01409000-01418608] entry at 0006107c via trampoline page code symbols at [7bbd2000-7bbd4000] (8kB), lines at [7bbca000-7bbd2000] (32kB) #0a: loading "/L4Linux/rtc --events" from [062dc000-0630c729] to [01080000-010845a0][01085000-0108a000] entry at 00063070 via trampoline page code symbols at [7bbc8000-7bbca000] (8kB), lines at [7bbc3000-7bbc8000] (20kB) #0b: loading "/L4Linux/l4io --noirq --events module" from [0630d000-0657bff7] to [00c20000-00c443e9][00c45000-00cb3000] entry at 00064080 via trampoline page code symbols at [7bb6d000-7bbc3000] (344kB), lines at [7bb53000-7bb6d000] (104kB ) #0c: loading "/L4Linux/loader --fprov=BMODFS linux26.cfg" from [0657c000-06659beb] to [01300000-01327e45][01328000-01347000] entry at 00065084 via trampoline page code symbols at [7bb4c000-7bb53000] (28kB), lines at [7bb32000-7bb4c000] (104kB) #0d: loading "/L4Linux/bmodfs" from [0665a000-066ffef1] to [01220000-01237f25][01238000-0124f000] passing module /L4Linux/vmlinuz [ 06700000-06 passing module /L4Linux/linux26.cfg [ 06a8d000-06a8d086 ] passing module /L4Linux/libloader.s.so [ 06a8e000-06b2b3fd ] passing module /L4Linux/libld-l4.s.so [ 06b2c000-06ba59d9 ] entry at 00066104 via trampoline page code symbols at [7bb2d000-7bb32000] (20kB), lines at [7bb1a000-7bb2d000] (76kB) ROOT: Sending ports 0070-0070 to task #0a ROOT: Sending ports 0080-0080 to task #0a ROOT: Sending ports 0071-0071 to task #0a log | /L4Linux/log: unrecognized option `--events' log | Unrecognized option: - ? log | Usage: /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 seria 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 rtc | Date:18.01.2009 Time:20:00:40 simplets| Configured for 300 tasks. DMphys | DMphys memory map: DMphys | phys. memory 0x00000000-0x7f6a0000 (from L4 kernel info page) DMphys | using 0x00100000-0x7f6a0000 DMphys | Memory area Pool PS Fla DMphys | 0x00000000-0x0009f000 -- -- RESERVED DMphys | 0x00100000-0x00161000 -- -- RESERVED DMphys | 0x00161000-0x0021c000 -- -- DENIED DMphys | 0x0021c000-0x002ac000 7 12 MAPPED DMphys | 0x002ac000-0x002ad000 -- -- DENIED DMphys | 0x002ad000-0x002d0000 7 12 MAPPED DMphys | 0x002d0000-0x002e2000 -- -- DENIED DMphys | 0x002e2000-0x00400000 7 12 MAPPED DMphys | 0x00400000-0x0043a000 -- -- DENIED DMphys | 0x0043a000-0x00a69000 7 12 MAPPED DMphys | 0x00a69000-0x00c20000 0 12 MAPPED DMphys | 0x00c20000-0x00cb3000 -- -- DENIED DMphys | 0x00cb3000-0x01080000 0 12 MAPPED DMphys | 0x01080000-0x0108a000 -- -- DENIED DMphys | 0x0108a000-0x01220000 0 12 MAPPED DMphys | 0x01220000-0x0124f000 -- -- DENIED DMphys | 0x0124f000-0x01300000 0 12 MAPPED DMphys | 0x01300000-0x01347000 -- -- DENIED DMphys | 0x01347000-0x01400000 0 12 MAPPED DMphys | 0x01400000-0x01419000 -- -- DENIED DMphys | 0x01419000-0x01500000 0 12 MAPPED DMphys | 0x01500000-0x0151e000 -- -- RESERVED DMphys | 0x0151e000-0x01540000 0 12 MAPPED DMphys | 0x01540000-0x0155f000 -- -- DENIED DMphys | 0x0155f000-0x01800000 0 12 MAPPED DMphys | 0x01800000-0x06400000 0 22 MAPPED DMphys | 0x06400000-0x06700000 0 12 MAPPED DMphys | 0x06700000-0x06ba6000 -- -- DENIED DMphys | 0x06ba6000-0x06c00000 0 12 MAPPED DMphys | 0x06c00000-0x7b800000 0 22 MAPPED DMphys | 0x7b800000-0x7bb1a000 0 12 MAPPED DMphys | 0x7bb1a000-0x7f6a0000 -- -- DENIED DMphys | DMphys | DMphys memory pools: DMphys | pool 0 (Default memory pool): DMphys | size: 2009736KB total, 2009736KB free, 32KB reserved DMphys | 0x00a69000-0x00c20000 ( 1756KB, 2MB) free DS: DMphys | 0x00cb3000-0x01080000 ( 3892KB, 4MB) free DS: DMphys | 0x0108a000-0x01220000 ( 1624KB, 2MB) free DS: DMphys | 0x0124f000-0x01300000 ( 708KB, 1MB) free DS: DMphys | 0x01347000-0x01400000 ( 740KB, 1MB) free DS: DMphys | 0x01419000-0x01500000 ( 924KB, 1MB) free DS: DMphys | 0x0151e000-0x01540000 ( 136KB, 0MB) free DS: DMphys | 0x0155f000-0x06700000 ( 83588KB, 82MB) free DS: DMphys | 0x06ba6000-0x7bb1a000 (1916368KB, 1871MB) free DS: DMphys | pool 7 (ISA DMA memory pool): DMphys | size: 8192KB total, 8192KB free, 0KB reserved DMphys | 0x0021c000-0x002ac000 ( 576KB, 1MB) free DS: DMphys | 0x002ad000-0x002d0000 ( 1 DMphys | 0x002e2000-0x00400000 ( 1144KB, 1MB) free DS: DMphys | 0x0043a000-0x00a69000 ( 6332KB, 6MB) free DS: io | /L4Linux/l4io: unrecognized option `--noirq' io | Enabling events support. bmodfs | Passed the following modules: bmodfs | module "/L4Linux/vmlinuz" (3633kB) bmodfs | module "/L4Linux/linux26.cfg" (1kB) bmodfs | module "/L4Linux/libloader.s.so" (629kB) bmodfs | module "/L4Linux/libld-l4.s.so" (487kB) loader | Can't map tbuf status page io | Using platform c ROOT: Sending ports 0cfb-0cfb to task #0b ROOT: Sending ports 0cf8-0cfb to task #0b ROOT: Sending ports 0cfe-0cff to task #0b io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) ROOT: Sending ports 0cfc-0cff to task #0b io | PCI: Ignoring BAR0-3 of IDE controller 00:1f.1 io | Transparent bridge - Intel Corporation 82801 PCI Bridge io | PCI: No IRQ known for interrupt pin A of device 00:1c.0. Please try u io : sing pci=bios io | PCI: No IRQ known for interrupt pin B of device 00:1c.1. Please try u io : sing pci=biosirq. io | 00000000-ffffffff : PCI mem io | d0000000-dfffffff : Intel Corporation 82G33/G31 Express Integrated io : Graphics Controller io | fe900000-fe9fffff : Intel Corporation 82G33/G31 Express Integrated io : Graphics Controller io | fea77c00-fea77fff : Intel Corporation 82801G (ICH7 Family) USB2 EHC io : I Controller io | fea78000-fea7bfff : Intel Corporation io : inition Audio Controller io | fea80000-feafffff : Intel Corporation 82G33/G31 Express Integrated io : Graphics Controller io | feb00000-febfffff : PCI Bus #02 io | febfc000-febfffff : Marvell Technology Group Ltd. 88E8056 PCI-E G io : igabit Ethernet Controller io | 0000-ffff : PCI IO io | 0400-041f : Intel Corporation 82801G (ICH7 Family) SMBus Controller io | 0cf8-0cff : PCI conf1 io | c800-c80f : Intel Corporation 82801GB/GR/GH (ICH7 Family) io : Controller io | c880-c883 : Intel Corporation 82801GB/GR/GH (ICH7 Family) SATA IDE io : Controller io | cc00-cc07 : Intel Corporation 82801GB/GR/GH (ICH7 Family) SATA IDE io : Controller io | d000-d003 : Intel Corporation 82801GB/GR/GH (ICH7 Family) SATA IDE io : Controller io | d080-d087 : Intel Corporation 82801GB/GR/GH (ICH7 Family) SATA IDE io : Controller io | d400-d41f : Intel Corporation 82801G (ICH7 Family) USB UHCI Control io : ler #4 io | d480-d49f : Intel Corporation 82801G (ICH7 Family) USB UHCI Control io : ler #3 io | d800-d81f : Intel Corporation 82801G (ICH7 Family) USB UHCI Control io : ler #2 io | d880-d89f : Intel Corporation 82801G (ICH7 Family) USB UHCI Control io : ler #1 io | dc00-dc07 : Intel Corporation 82G33/G31 Express Integrated Graphics io : Controller io | e000-efff : PCI Bus #02 io | e800-e8ff : Marvell Technology Group Ltd. 88E8056 PCI-E Gigabit E io : thernet Controller loader | vmlinuz: Starting application using libld-l4.s.so loader | vmlinuz,#e: Loading binary loader | vmlinuz,#e: Loading ldso loader | vmlinuz,#e: Starting libld-l4.s.so at 000138e0 via 0000cf48 l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.28-l4 (lvmengxuan@desktop) (gcc version 4.2.4 (Ubun l4lx : tu 4.2.4-1ubuntu3)) #2 Fri Jan 9 00:35:30 CST 2009 l4lx | Binary name: vmlinuz l4lx | Linux kernel command line (5 args): earlyprintk=yes l4lx : 00 init=1 mem=64M root=/dev/sda8 l4lx | Image: 00400000 - 007f5000 [4052 KiB]. l4lx | Areas: Text: 00400000 - 006c3000 [2828kB] (a bit longer) l4lx | Data: 006c3000 - 006edd7c [171kB] l4lx | Initdata: 006f0000 - 00735000 [276kB] l4lx | BSS: 00736000 - 007f447c [761kB] l4lx | l4lx_thread_create: Created thread 0e.03 (tamer0) l4lx | Tamer0 is 0e.03 l4lx | Using tamed mode. ROOT: Task #0c is not allowed to execute cli/sti loader | vmlinuz,#e: WARNING: Can't map I/O space, ROOT denies page (result=00 loader : 004000) loader | vmlinuz,#e: Not allowed to perform any I/O l4lx | Got 0 out of 65536 I/O ports l4lx | Connecting to l4io server. io | ffa0-ffafAvailable IRQs=[ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f io : 10 11 ] l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 0e.04 (cpu0) l4lx | main thread will be 0e.04 l4lx | l4env_register_pointer_section: addr = 006c3000 s l4lx | sec-w-init: virt: 0x006c3000 to 0x007f4fff [1224 KiB] l4lx | sec-w-init: Number of physical regions: 1, 1253376 Bytes l4lx | sec-w-init: 1: Phys: 0x01a5f000 to 0x01b91000, Size: 1253376 l4lx | main thread: received startup message. l4lx | memory_setup: earlyprintk=yes console=tty0,115200 init=1 mem=64M root l4lx : =/dev/sda8 l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main thread running, waiting... l4lx | Main memory size: 64MB l4lx | Got 2048kB of ISA DMA memory. l4lx | ISA DMA memory: virt: 0x00800000 to 0x009fffff [2048 KiB] l4lx | ISA DMA memory: Number of physical regions: 1, 2097152 Bytes l4lx | ISA DMA memory: 1: Phys: 0x0043a000 to 0x0063a000, Size: 2097152 l4lx | Main memory: virt: 0x00c00000 to 0x04bfffff [65536 KiB] l4lx | Main memory: Number of physical regions: 1, 67108864 Bytes l4lx | Main memory: 1: Phys: 0x01c00000 to 0x05c00000, Size: 67108864 l4lx | Filling lower ptabs... l4lx | mainmem = c00000 l4lx | Done (1510 entries). l4lx | l4env_register_pointer_section: addr = 006c3000 size = 1253376 l4lx | end: virt: 0x006c3000 to 0x007f4fff [1224 KiB] l4lx | end: Number of physical regions: 1, 1253376 Bytes l4lx | end: 1: Phys: 0x01a5f000 to 0x01b91000, Size: 1253376 l4lx | memory_setup done [ 0.000000] Linux version 2.6.28-l4 (lvmengxuan@desktop) (gcc version 4.2.4 ( Ubuntu 4.2.4-1ubuntu3)) #2 Fri Jan 9 00:35:30 CST 2009 [ 0.000000] KERNEL supported cpus: [ 0.000000] Intel GenuineIntel [ 0.000000] AMD AuthenticAMD [ 0.000000] NSC Geode by NSC [ 0.000000] Cyrix CyrixInstead [ 0.000000] Centaur CentaurHauls [ 0.000000] Transmeta GenuineTMx86 [ 0.000000] Transmeta TransmetaCPU [ 0.000000] UMC UMC UMC UMC [ 0.000000] BIOS-provided physical RAM map: [ 0.000000] L4Lx-Memory: 0000000000000000 - 0000000000001000 (usable) [ 0.000000] L4Lx-Memory: 0000000000800000 - 0000000000a00000 (us [ 0.000000] L4Lx-Memory: 0000000000c00000 - 0000000004c00000 (usable) [ 0.000000] DMI not present or invalid. [ 0.000000] last_pfn = 0x4c00 max_arch_pfn = 0x100000 [ 0.000000] find_e820_area: start=7000 end=4c00000 size=5000 align=1000 [ 0.000000] 76MB LOWMEM available. [ 0.000000] find_e820_area: start=0 end=4c00000 size=1000 align=1000 [ 0.000000] mapped low ram: 0 - 04c00000 [ 0.000000] low ram: 00000000 - 04c00000 [ 0.000000] bootmap 00803000 - 00803980 [ 0.000000] bootmap 00803000 - 00803980 [ 0.000000] #0 [0000000000 - 0000001000] BIOS data page ==> [0000000000 - 0000001000] [ 0.000000] #1 [0000800000 - 0000803000] PGTABLE ==> [0000800000 - 0000803000] [ 0.000000] #2 [0000803000 - 0000804000] BOOTMAP ==> [0000803000 - 0000804000] [ 0.000000] Zone PFN ranges: [ 0.000000] DMA 0x00000000 -> 0x00000a00 [ 0.000000] Normal 0x00000a00 -> 0x00004c00 [ 0.000000] Movable zone start PFN for each node [ 0.000000] early_node_map[3] active PFN ranges [ 0.000000] 0: 0x00000000 -> 0x00000001 [ 0.000000] 0: 0x00000800 -> 0x00000a00 [ 0.000000] 0: 0x00000c00 -> 0x00004c00 [ 0.000000] Allocating PCI resources starting at 10000000 (gap: 4c00000:fb400 000) [ 0.000000] Built 1 zonelists in Zone order, mobility grouping on. Total pag es: 16745 [ 0.000000] Kernel command line: earlyprintk=yes console=tty0,115200 init=1 m em=64M root=/dev/sda8 [ 0.000000] console [earlykdb0] enabled --__early_ioremap----------------------------------------IP: 006fb3bb [l4lx.cpu0] (e.04) jdb: =====End of booting========= So the above is the problem，Could someone give me some advice how to solve this problem? Thanks a lot !!! Best Regards. LvMengxuan [View Less]

2 1

Can't boot L4Linux2.4 on Pistachio
by lvmengxuan 18 Jan '09

18 Jan '09

Hi, I fetched L4KA::Pistachio and l4linux2.4) from CVS, compiled both on a Debian/unstable system and set up things according to the instructions at <http://l4ka.org/projects/l4linux/>. It seems to me that the Pistachio stuff runs fine -- I was able to run the pingpong program. However, when I try to run the Linux kernel, all I get is... init_emulibpager initialized to c0001 --- "unable to map generic bootinfo" --- Anyone can help me ? Thanks a lot !

2 1

l4_io_pci_find_*_call functions
by Shakthi Kannan 13 Jan '09

13 Jan '09

Hi, In tudos/l4/pkg/generic_io/lib/clientlib/pci.c, I see reference to these function calls: l4_io_pci_find_slot_call () l4_io_pci_find_device_call () l4_io_pci_find_class_call () l4_io_pci_find_read_config_byte_call () ... But, where are these functions defined? Thanks! SK -- Shakthi Kannan http://www.shakthimaan.com

2 1

about Fiasco make system
by Zhang Yinfei 10 Jan '09

10 Jan '09

Hi all, I want to add some file to the fiasco source code tree (in my local build). Actually it is a simple assemble file which has some VBE related code to help me debug assembles. It works well in bootstrap module. If I just naively copy the file to "fiasco/src/kern/ia32/", it won't be compiled and other files cannot use it. Any hint about how should I modify the Makefiles to include this file? Thanks a lot. Best Regards, Yinfei Zhang

2 1

Problem on make l4
by Neohtm 09 Jan '09

09 Jan '09

Hi all, I'd followed the guide from the website and the drops tutorial to build the l4env. i go to the l4 dir make oldconfig make but it ends with an error in the uclibc++ Below are the build log, please help on this..thanks make[5]: Entering directory `/home/user/Desktop/tudos/l4/build/pkg/uclibc++/lib/uclibc++/OBJ-x86_586' ... Compiling ARCH-all/src/algorithm.o LD_PRELOAD=/home/user/Desktop/tudos/l4/build/tool/gendep/libgendep.so GENDEP_TARGET=ARCH-all/src/algorithm.o GENDEP_BINARY=… [View More]

2 2

DDEkit for Linux2.6 from svn
by Shakthi Kannan 03 Jan '09

03 Jan '09

Hi, I would like to know from where I can get the DDEKit (Device Driver Environment) for Linux2.6 from svn? http://wiki.tudos.org/DDE/DDEKit >From the svn documentation: http://www.inf.tu-dresden.de/index.php?node_id=1735&ln=en ./repomgr modules lists the following: dice, fiasco, hello, l4env, l4linux-2.6-env. Thanks! SK -- Shakthi Kannan http://www.shakthimaan.com

4 33

2025

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 January 2009