- l4-hackers - example.com Site

seL4 kernel is formally verified
by Gernot Heiser 18 Aug '09

18 Aug '09

Hi, For those out there who missed the publicity (incl ./): NICTA announced last week that the formal verification of our seL4 kernel has been completed. This makes seL4 the first ever general-purpose OS kernel with a formal proof that the implementation is consistent with the specification. A paper on the project will appear in this year's SOSP. Details at http://ertos.nicta.com.au/news/home.pml#verified Gernot

5 7

Howto implement a periodic real-time task?
by Andre Puschmann 10 Aug '09

10 Aug '09

Hey guys, I got a L4 real-time application that should run strictly periodic. In each cycle I have to communicate with at least two other L4 threads in different address spaces. The cycle period is in the order of 1000Hz to 5000Hz. As described in [1] I tried to use the CPU reservation server but the sample implementations did not work. Anyway, I figured out that even the CPU reservation server depends on the kernel timer and thus the granularity is 1ms (in PIT mode), which is too coarse for cycle periods larger then 1000Hz. Although I like the idea to use OS primitives to keep the application as portable as possible (ARM port is a goal), I thought about implementing the periodic execution with an extra timer decoupled from the scheduling timer which generates an IRQ at each hit. Any comment/suggestions/ideas about that? Any other experience with periodic real-time tasks on L4? Cheers, Andre [1] http://os.inf.tu-dresden.de/pipermail/l4-hackers/2009/004179.html

3 6

Re: problems running l4linux No.2
by Stefan Kögel 06 Aug '09

06 Aug '09

Hi, I started from a default l4linux26 kernel config. I did not touch anything, except for the things I had to, like acpi, apic, MTRR, MCE .. and the stuff that is missing (olpc, scx200 and these things). Everything else is default. The problem still exists but I was able to gather some info. Executing the l4linux26.cfg prints out: loader | sleeping for 1000 ms loader | vmlinuz: Starting application using libld-l4.s.so loader | vmlinuz,#11: Loading binary loader | vmlinuz,#11: Loading ldso loader | vmlinuz,#11: Starting libld-l4.s.so at 00013940 via 0000cc3c loader | DEBUG file = vmlinuz l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.30-l4 (stefan@scarface) (gcc version 4.3.2 (Ubuntu l4lx : 4.3.2-1ubuntu12) ) #10 Wed Aug 5 16:45:57 CEST 2009 l4lx | Binary name: vmlinuz l4lx | Linux kernel command line (5 args): mem=64M load_ramdisk=1 ramdisk_si l4lx : ze=16384 root=/dev/ram l4env_rd=drops-rd.rd l4lx | Image: 00400000 - 00874000 [4560 KiB]. l4lx | Areas: Text: 00400000 - 006fd000 [3060kB] (a bit longer) l4lx | Data: 006fd000 - 007280e8 [172kB] l4lx | Initdata: 0072c000 - 00770000 [272kB] l4lx | BSS: 00772000 - 00853a94 [902kB] l4lx | l4lx_thread_create: Created thread 11.03 (tamer0) l4lx | Tamer0 is 11.03 l4lx | Using tamed mode. ROOT: Task #0c is not allowed to execute cli/sti loader | vmlinuz,#11: WARNING: Can't map I/O space, ROOT denies page (result=0 loader : 0004000) loader | vmlinuz,#11: Not allowed to perform any I/O l4lx | Got 0 out of 65536 I/O ports l4lx | Connecting to l4io server. l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 11.04 (cpu0) l4lx | main thread will be 11.04 l4lx | l4env_register_pointer_section: addr = 0072a000 size = 290816 l4lx | sec-w-init: virt: 0x0072a000 to 0x00770fff [284 KiB] l4lx | Noncontiguous region for sec-w-init l4lx | sec-w-init: Number of physical regions: 2, 290816 Bytes l4lx | sec-w-init: 1: Phys: 0x014f0000 to 0x01500000, Size: 65536 l4lx | sec-w-init: 2: Phys: 0x013b5000 to 0x013ec000, Size: 225280 l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | memory_setup: mem=64M load_ramdisk=1 ramdisk_size=16384 root=/dev/ram l4lx : l4env_rd=drops-rd.rd l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main memory size: 64MB l4lx | Main memory: virt: 0x00c00000 to 0x04bfffff [65536 KiB] l4lx | Main memory: Number of physical regions: 1, 67108864 Bytes l4lx | Main memory: 1: Phys: 0x07400000 to 0x0b400000, Size: 67108864 l4lx | Filling lower ptabs... l4lx | mainmem = c00000 l4lx | Done (1864 entries). l4lx | l4env_register_pointer_section: addr = 00772000 size = 1056768 l4lx | end: virt: 0x00772000 to 0x00873fff [1032 KiB] l4lx | end: Number of physical regions: 1, 1056768 Bytes l4lx | end: 1: Phys: 0x06499000 to 0x0659b000, Size: 1056768 l4lx | memory_setup done l4lx | l4env_rd_path: drops-rd.rd l4lx | Loading: drops-rd.rd l4lx | INITRD: Size of RAMdisk is 16384KiB l4lx | RAMdisk from 04c00000 to 05c00000 [16384KiB] l4lx | l4env_phys_to_virt: Could not translate phys. address 0x80000 l4lx | l4env_phys_to_virt: Could not translate phys. address 0x80010 l4lx | l4env_phys_to_virt: Could not translate phys. address 0x80020 ... and continues untiel physical address 0x9fff0 and ends with a lock up of the computer. I am wondering about these lines: ROOT: Task #0c is not allowed to execute cli/sti loader | vmlinuz,#11: WARNING: Can't map I/O space, ROOT denies page (result=0 loader : 0004000) loader | vmlinuz,#11: Not allowed to perform any I/O Could that be causing the error? How can I fix this? Thank you for help. Kind Regards, Stefan > Hi, > > On Tue Aug 04, 2009 at 11:11:15 +0200, Stefan K?gel wrote: > >> I am still trying to run l4linux on top of fiasco. I am running it on >> top of a console system and configured L4Linux2.6 without any input >> drivers. Thanks to your suggestion I am loading vmlinuz with a start script. >> >> I can't tell you much, but once booted both serial and console are >> spammed with >> >> ... >> l4lx | l4env_phys_to_virt: Could not translate phys. address 0x94140 >> l4lx | l4env_phys_to_virt: Could not translate phys. address 0x94150 >> l4lx | l4env_phys_to_virt: Could not translate phys. address 0x94160 >> ... >> >> messages. >> >> Did I forget to configure some kind of memory translation unit? >> > > No but I'd guess that there's some driver in the Linux that causes this. > Maybe you could start from the x86-ux or x86-native defconfigs and see > if the same happens? > > > > Adam >

2 1

Re: interrupt registration
by eric johnson 05 Aug '09

05 Aug '09

On Tue, Aug 4, 2009 at 4:56 PM, eric johnson <eric.gd.johnson(a)gmail.com>wrote: > > > On Tue, Aug 4, 2009 at 1:48 PM, Adam Lackorzynski < > adam(a)os.inf.tu-dresden.de> wrote: > >> >> On Fri Jul 31, 2009 at 20:36:37 -0700, eric johnson wrote: >> > i m using a pistachio L4 kernel. ( with no operating system on top. ) >> > I am running this on an emulator ( qemu) . So i dont have a way of >> having >> > real interrupts. There might be a way in qemu to do that , but i dont >> know >> > how. >> > >> > My question is : i figure there is an interrupt thread for every >> interrupt. >> > ? Since i dont have any real hardware i would like to have a interrupt >> > thread for a random interrupt no. How do i make sure that this interrupt >> > thread is created ? I am trying to simulate the behaviour of an >> interrupt >> > processing in L4. >> >> Why do you think that Qemu's interrupts are not real from the point of >> view of the software running on it? > > > I dont see any of L4's interrupt code path getting called, like irq_thread > or handle_interrupt. > > In any case when is an irq thread created ? > > > > >> >> >> >> Adam >> -- >> Adam adam(a)os.inf.tu-dresden.de >> Lackorzynski http://os.inf.tu-dresden.de/~adam/<http://os.inf.tu-dresden.de/%7Eadam/> >> >> _______________________________________________ >> l4-hackers mailing list >> l4-hackers(a)os.inf.tu-dresden.de >> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers >> > >

1 0

interrupt registration
by eric johnson 04 Aug '09

04 Aug '09

i m using a pistachio L4 kernel. ( with no operating system on top. ) I am running this on an emulator ( qemu) . So i dont have a way of having real interrupts. There might be a way in qemu to do that , but i dont know how. My question is : i figure there is an interrupt thread for every interrupt. ? Since i dont have any real hardware i would like to have a interrupt thread for a random interrupt no. How do i make sure that this interrupt thread is created ? I am trying to simulate the behaviour of an interrupt processing in L4. suresh

2 1

compiling Fiasco trunk, Bison trouble
by Roman Beslik 04 Aug '09

04 Aug '09

Hello. I'm trying to compile Fiasco trunk using this manual: http://os.inf.tu-dresden.de/fiasco/use.html . When I compile tudos/l4 tree, many errors appear in tudos/dice/src/parser/idl : {{{ g++ -DHAVE_CONFIG_H -I. -I. -I../../.. -I../../../src -Wall -I../../../src -g -O2 -MT idl-scanner.o -MD -MP -MF .deps/idl-scanner.Tpo -c -o idl-scanner.o idl-scanner.cc In file included from ../../../src/parser/idl/location.hh:44, from idl-parser.tab.hh:65, from idl-parser-driver.hh:35, from idl-scanner.ll:6: position.hh: In function ‘bool yy::operator==(const yy::position&, const yy::position&)’: position.hh:136: warning: suggest parentheses around ‘&&’ within ‘||’ In file included from idl-parser-driver.hh:35, from idl-scanner.ll:6: idl-parser.yy: At global scope: idl-parser.yy:76: error: use of enum ‘EXPT_OPERATOR’ without previous declaration idl-parser.yy:78: error: ISO C++ forbids declaration of ‘CFETypeSpec’ with no type idl-parser.yy:78: error: expected ‘;’ before ‘*’ token idl-parser.yy:79: error: ISO C++ forbids declaration of ‘CFEAttribute’ with no type idl-parser.yy:79: error: expected ‘;’ before ‘*’ token idl-parser.yy:80: error: ISO C++ forbids declaration of ‘CFEExpression’ with no type idl-parser.yy:80: error: expected ‘;’ before ‘*’ token {{{many errors skipped}}} make[6]: *** [idl-scanner.o] Error 1 make[6]: Leaving directory `/tudos/dice/src/parser/idl' }}} It seems that tudos/dice/src/fe/*.h files is not included with "#include" in tudos/dice/src/parser/idl/idl-parser.tab.hh, because when I include them by hand, "g++ ..." works out without an error. >yacc --version bison (GNU Bison) 2.4.1 >g++ --version g++ (GCC) 4.4.0 20090630 (prerelease) >ls -l /usr/local/bin/byacc lrwxrwxrwx 1 root root 13 2009-07-14 04:24 /usr/local/bin/byacc -> /usr/bin/yacc -- Best regards, Roman Beslik.

3 5

problems running l4linux No.2
by Stefan Kögel 04 Aug '09

04 Aug '09

Hi, I am still trying to run l4linux on top of fiasco. I am running it on top of a console system and configured L4Linux2.6 without any input drivers. Thanks to your suggestion I am loading vmlinuz with a start script. I can't tell you much, but once booted both serial and console are spammed with ... l4lx | l4env_phys_to_virt: Could not translate phys. address 0x94140 l4lx | l4env_phys_to_virt: Could not translate phys. address 0x94150 l4lx | l4env_phys_to_virt: Could not translate phys. address 0x94160 ... messages. Did I forget to configure some kind of memory translation unit? Here is my grub config: kernel /bin/svn453/bootstrap -serial modaddr 0x03000000 module /bin/svn453/fiasco -nokdb -nowait -serial -comspeed 115200 -pcsampling -debug -sp 1000000 module /bin/svn453/sigma0 module /bin/svn453/roottask task modname "bmodfs" attached 7 modules module /bin/svn453/dm_phys module /bin/svn453/names --verbose 0 --logsrv logcon module /bin/svn453/events module /bin/svn453/simple_ts --events -t 300 module /bin/svn453/l4io module /bin/svn453/bmodfs module /bin/svn453/l4linux26.cfg module /bin/svn453/libloader.s.so module /bin/svn453/libld-l4.s.so module /bin/svn453/logcon module /bin/svn453/run module /bin/svn453/vmlinuz module /bin/svn453/drops-rd.rd module /bin/svn453/loader --events --fprov=BMODFS run l4linux26.cfg logcon module /bin/svn453/con --nolog vbeset 0x117 Thanks for your help. Kind Regards, Stefan

2 1

problems running l4linux
by Stefan Kögel 31 Jul '09

31 Jul '09

Hi, i am trying to run l4linux on top of fiasco. Using the cfg start script from the website to load vmlinux. But after that nothing really happens and the keyboard somehow gets redirected to my serial connection. jdb output is: loader | sleeping for 1000 ms loader | vmlinux: Starting sigma0-style application loader | vmlinux: Loading binary loader | vmlinux,#f: Entry at 00009c3c => 00400000 loader | vmlinux,#f: Started loader | DEBUG file = vmlinux loader | vmlinux,#f: Double PF (r) at 00000000 eip 00000000 (F.00) It seems to load quite ok, but nothing else. But I may have not payed enough attention to configuring the l4linux kernel. I know I tryed to turn off any serial drivers. Which part should have control over the keyboard? Thank you for your help. Kind Regards, Stefan

2 1

problem with l4linux
by fang zhengshu 27 Jul '09

27 Jul '09

hi, I'm sorry to trouble you,but I have a question with X server when start l4linux on dope. I have search a mail which you have sent: > Yes, I know that this setup is not easy. For overlay_wm driver to work it is necessary to apply patches to X Server sources, as I read. But I thought it must work with linux server with ordinary l4con/dope frambuffer driver. So, it won't, ok. -- When I checked on real machine (not with ramdisk), l4linux started and XServer starts OK. > I can start l4linux on dope and con,and also on serial console.The below is what I use in l4linux.cfg: task "vmlinuz" "earlyprintk=yes mem=64M video=l4fb root=/dev/hda9 " all_sects_writable allow_vga allow_cli could you please tell me what I missing? thank you. -- fang,

2 2

the dde_linux26 link error
by Guanghui, Cheng 27 Jul '09

27 Jul '09

Hello: i write a device driver for L4 with DDE but when i compile the server and client code it can't link into the lib dde_linux26 with the error like this: ld: cannot find -ldde_linux26 I check the files in the libdde* and there are only these files: libddekit.a libdde_linux26_block.a libdde_linux26_net.a libdde_linux26.o.a libdde_linux26_sound.a No libdde_linux26.a but libdde_linux26.o.a instead. Maybe some configuation is wrong and thanks for your any suggestion. Cheng

3 3

Call for Papers: Embedded Software Track at DATE 2010
by André Hergenhan 25 Jul '09

25 Jul '09

Hello, I would like to invite you to submit your research contributions and advanced (industrial) applications to the Embedded Software Track at DATE 2010. With this respect, I would especially like to refer to topic E4, which may be of particular interest to the L4 community. Best regards, André. Call for Papers Embedded Software Track at DATE 2010 Dresden, Germany March 8-12, 2010 The Design, Automation and Test in Europe conference and exhibition is the main European event bringing together design automation researchers, users and vendors, as well as specialists in the design, test, and manufacturing of electronic systems and circuits. It puts strong emphasis on embedded systems, including embedded software which has become a main track of DATE. The DATE conference is a five-day event consisting of plenary keynotes, regular papers, interactive presentations, panels and hot-topic sessions, tutorials, master courses and workshops. The DATE conference and the exhibition, together with the many user group meetings, fringe meetings, university booth and social events offer a wide variety of opportunities to meet and to exchange information. Embedded Topic Areas: E1 Real-time, Networked, and Dependable Systems Chairs: Petru Eles, Linkoping University, Sweden; Luís Almeida, Universidade do Porto, Portugal Real-time programming languages and software; formal models for real-time systems; software performance analysis; worst case execution time analysis; scheduling and software estimation; real-time system optimization; verification; tools and design methods; adaptive real-time systems; dependable systems; software for safety critical systems; software for sensor networks and networked applications; network control and QoS for embedded applications. E2 Compilers and Code Generation for Embedded Systems Chairs: Shuvra Bhattacharyya, University of Maryland, USA; Rainer Leupers, RWTH Aachen,, Germany Software-centric system design exploration; software synthesis; compilers; code generation (e.g. C from matlab); dynamic compilation for embedded systems; software tool chain; generation for design space exploration (compilers, simulators, synthesis tools); retargetable compilers for MPSOC and reconfigurable platforms; compilers for multi-core systems. E3 Model-based Design for Embedded Systems Chairs: Albert Benveniste, IRISA, France; Christoph Kirsch, University of Salzburg, Austria Model-based foundations, methods, and tools for principled embedded/control system/software design; model-based embedded/control system/software testing, verification, validation, integration, deployment; model-based system and software architectures and infrastructure for principled embedded/control software deployment. E4 Embedded Software Architectures and Principles Chairs: Ahmed Jerraya, Leti, France; André Hergenhan, OpenSynergy, Germany Software for MPSoC and multi-core systems; virtualization for embedded systems, including safety and security aspects; resources constrained middleware and Run-Time Environment (RTE) architectures, e.g., AUTOSAR; software support for reconfigurable components and accelerators. E5 Embedded Software Applications - Architectures, Tools, and Methodologies Chairs: Wolfgang Ecker, Infineon Technologies, Germany; Werner Damm, OFFIS, Germany Real-time and dependable software applications; embedded run-time environments - practice and applications; embedded software verification and certification; design processes and experience in dependable software design; model driven design in industrial practice; embedded software architectures and applications in aerospace, automotive, industrial, medical industries; embedded software in wireless and consumer electronics applications; sensor network applications. Submission Instructions: All manuscripts must be submitted electronically before September 6th, 2009, following the instructions on the conference Web page: http://www.date-conference.com The accepted file format is PDF Manuscripts received in hard-copy form will not be processed. Papers can be submitted for either standard oral presentation or for interactive presentation. Standard oral presentations require novel and complete research work supported by experimental results, and are held in front of a full audience. Besides these, DATE will again include interactive presentations of novel ideas that may require additional research or lack experimental data. Interactive presentations are given on a laptop in a face-to-face discussion area. Submissions should not exceed 6 pages in length for oral-presentation and 4 pages in length for interactive-presentation papers, and should be formatted as close as possible to the final format: A4 or letter sheets, double column, single spaced, Times or equivalent font of minimum 10pt (templates are available on the DATE Web site for your convenience). To permit blind review, submissions should not include the author names. Any submission not in line with the above rules will be discarded. All papers will be evaluated with regard to their suitability for the conference, originality and technical soundness. The Programme Committee reserves the right to accept interesting contributions that do not meet the criteria for standard oral presentations, as interactive presentations. Information: Rolf Ernst - DATE Embedded Software Track Chair IDA Technische Universität Braunschweig Hans-Sommer-Str. 66 38106 Braunschweig, Germany e-mail: r.ernst(a)tu-bs.de Wolfgang Mueller - DATE Program Chair Paderborn University C-LAB, Fuerstenallee 11 33098 Paderborn, Germany e-mail: wolfgang(a)acm.org

1 0

the drops-x.rd
by fang zhengshu 24 Jul '09

24 Jul '09

hi, I use the following command to mount the drops-x.rd in the l4lx26-nitpicker-xorg71.iso: sudo mount -t ramfs -o loop drops-x.rd /mnt but when I change into the /mnt, I find nothing. so someone can tell me how to mount the drops-x.rd or tell me something about the file drops-x.rd ? -- fang,

2 1

read string from server array error!
by fang zhengshu 15 Jul '09

15 Jul '09

2009/7/8 fang zhengshu <fangzhsh07(a)gmail.com> > > > 2009/7/6 fang zhengshu <fangzhsh07(a)gmail.com> > >> hi all, >> when I write a function in the IDL file, there is a problem:want to write >> a different-length string to a array and then read parts of the array to >> another string like: >> >> interface test{ >> int write([string]char* str, int len); >> int read([out,prealloc_client, size_is(size), prealloc_server]char >> str[], int size); >> }; >> > I modify the idl file as the following: int write([in,string]char *str, int len) int read([out, prealloc_client]char *str, int len) there no error when compile it,but > >> I have defined a fixed size array in the server like array[256]. >> In the write() function I write a different length string to the array, >> then I want to read parts or all of the array in the read() function, the >> process will be like the following: >> >> string[len] str[size] >> | ^ >> | | >> --------->array[256] -----------| >> >> >> but when I put the function above and compile it, there are some error >> happen. I have change the size_is() with length_is() or max_is(), but there >> still error when I compile it. I know if I define a fix array str[256] the >> code can be work, but I just want to use a unfixed length array to get the >> string. >> could someone please give me some advice?if I describe the problem >> clearly, please let me know. >> >> thank you! >> >> I don't know whether I describe what I want to do clearly,so I put the > simple code below: > > read-client > write-client > #define STR_TO 30 > #define STR_FROM 30 > ... > ... > char str_to[SRR_TO]; > char str_from[STR_FROM]; > ... > ... > read(str_to, STR_TO); > write(str_from, STR_FROM); > ... > ... > > server > #define SIZE 256 > ... > char string[SIZE]; > ... > int write(char > *str_from, int str_from) > { > //write str_from size chars of str_from array to the > string array which is in server > } > int read(char *str_to, > int str_to) > { > //read str_to size chars from the string array which is in > server to str_to > } > > Then I define write functions as the above in a .idl file,but when I > compile it,there will be the following error: > terminate called after throwing an instance of 'std::out_of_range' > what(): CBEMsgBuffer::IsEarlier > make[1]: *** [test-server.c] Aborted > make[1]: *** [test-server.c] Deleting file `test-sys.h' > make[1]: *** [test-server.c] Deleting file `test-client.h' > make[1]: *** [test-server.c] Deleting file `test-client.c' > make: *** [/home/l4/tudos/build/pkg/ > fifo/idl/OBJ-x86-l4v2] Error 2 > > must we use the format as the dice manual below?: > int read([out, prealloc_client, size_is(len)] char **str, [out,in]int *len) > and when I modify the function as > int read([out, prealloc_client, prealloc_server, size_is(len)] char *str, > [out,in]int *len) > there is no error when compile it,but there will be another error called > :fpage > could you give me some advice for the read function? > thank you. > -- > fang, > when I run the test in qemu, the error come out: fifo | L4RM: [PF] read at 0x00002000, ip 01800aa1, src B.02 fifo | [B.0] l4rm/lib/src/pagefault.c:81:__unknown_pf(): fifo | unhandled page fault the execute code of fifo binary is : ... /home/l4/tudos/build/pkg/fifo/idl/OBJ-x86-l4v2/fifo-server.c:259 l4_msgdope_t _dice_size_dope; l4_msgdope_t _dice_send_dope; l4_umword_t _word[2]; } _word; } fifo_fifo_read_msg_buffer_t; l4_umword_t _dice_str_size = (str) ? (_dice_strlen(str)+1) : 0; 1800a8b: 85 db test %ebx,%ebx 1800a8d: 0f 84 f9 00 00 00 je 1800b8c <fifo_dispatch+0x21c> 1800a93: 80 3b 00 cmpb $0x0,(%ebx) 1800a96: 0f 84 11 01 00 00 je 1800bad <fifo_dispatch+0x23d> 1800a9c: 31 c0 xor %eax,%eax 1800a9e: 66 90 xchg %ax,%ax 1800aa0: 40 inc %eax 1800aa1: 80 3c 18 00 cmpb $0x0,(%eax,%ebx,1) 1800aa5: 75 f9 jne 1800aa0 <fifo_dispatch+0x130> 1800aa7: 8d 58 01 lea 0x1(%eax),%ebx ... the fifo-server.c:259 code is: inline void fifo_read_marshal (CORBA_Object _dice_corba_obj, int _dice_return /* out */, l4_msgtag_t *_dice_tag, char* str /* out */, fifo_msg_buffer_t *_dice_msg_buffer, CORBA_Server_Environment *_dice_corba_env) { ... l4_umword_t _dice_str_size = (str) ? (_dice_strlen(str)+1) : 0; ... so anyone can give me some advice? thank you! -- fang,

2 2

Re: l4-hackers Digest, Vol 72, Issue 8
by fang zhengshu 08 Jul '09

08 Jul '09

hi all, when I write a function in the IDL file, there is a problem:want to write a different-length string to a array like: interface test{ int write([string]char* str, int len); int read([out,prealloc_client, size_is(size), prealloc_server]char str[], int size); }; I have defined a fixed size array in the server like array[256]. In the write() function I write a different length string to the array, then I want to read parts or all of the array in the read() function, the process will be like the following: string[len] str[size] | ^ | | --------->array[256] -----------| but when I put the function above and compile it, there are some error happen. I have change the size_is() with length_is() or max_is(), but there still error when I compile it. I know if I define a fix array str[256] the code can be work, but I just want to use a unfixed length array to get the string. could someone please give me some advice?if I describe the problem clearly, please let me know. thank you! -- fang,

2 2

running cpu_reserve examples
by Andre Puschmann 29 Jun '09

29 Jun '09

Hi list, I am playing with the examples in package cpu_reserve (i.e. res_rt_sched). However, for some reason the code doesn't work as expected. In the worker-thread the function l4_rt_next_period() returns error nr 32 which is an IPC error, I guess its waiting for a msg from the reservation server here. Here is the sample output (qemu log): Welcome to Fiasco(ia32)! DD-L4(v2)/ia32 microkernel (C) 1998-2009 TU Dresden Rev: r429 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:3:3:0) Model: Pentium II (Klamath) at 2528 MHz 32 KB L1 I Cache (8-way associative, 64 bytes per line) 32 KB L1 D Cache (8-way associative, 64 bytes per line) 2048 KB L2 U Cache (8-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: "(nd)/modules/roottask" 260656kB ( 254MB) total RAM (reported by bootloader) 232760kB ( 228MB) received RAM from Sigma0 6604kB ( 7MB) 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: Loading 6 modules. #05: loading "(nd)/modules/l4io" from [0212b000-02398e9a] to [00c20000-00c443b5][00c45000-00cb3000] entry at 0005a06c via trampoline page code symbols at [0ea31000-0ea87000] (344kB), lines at [0ea17000-0ea31000] (104kB) #06: loading "(nd)/modules/dm_phys" from [02399000-02434537] to [01500000-015138d7][01514000-0151e000] entry at 0005b070 via trampoline page code symbols at [0ea12000-0ea17000] (20kB), lines at [0ea04000-0ea12000] (56kB) #07: loading "(nd)/modules/names" from [02435000-0247685b] to [002d0000-002d67b7][002d7000-002e2000] entry at 0005c06c via trampoline page code symbols at [0ea02000-0ea04000] (8kB), lines at [0e9fc000-0ea02000] (24kB) #08: loading "(nd)/modules/log" from [02477000-024b5702] to [00400000-00406eca][00407000-00439828] entry at 0005d06c via trampoline page code symbols at [0e9fa000-0e9fc000] (8kB), lines at [0e9f4000-0e9fa000] (24kB) #09: loading "(nd)/modules/cpu_reserved" from [024b6000-0256af2c] to [009b0000-009cc631][009cd000-009e4000] entry at 0005e074 via trampoline page code symbols at [0e9ef000-0e9f4000] (20kB), lines at [0e9da000-0e9ef000] (84kB) #0a: loading "(nd)/modules/res_rt_sched" from [0256b000-02601c8b] to [01000000-01017a61][01018000-0102f000] entry at 00060074 via trampoline page code symbols at [0e9d5000-0e9da000] (20kB), lines at [0e9c3000-0e9d5000] (72kB) cpu_rese| Scheduling granularity: 1000�s res_rt_s| main(): Using cpu reservation server res_rt_s| [A.3] cpu_reserve/examples/res_rt_sched/main.c:55:worker(): res_rt_s| Error: l4_rt_next_period(): Unknown (unregistered) error res_rt_s| [A.3] cpu_reserve/examples/res_rt_sched/main.c:68:worker(): res_rt_s| Error: l4_rt_next_period(): Unknown (unregistered) error res_rt_s| [A.3] cpu_reserve/examples/res_rt_sched/main.c:68:worker(): ... Any ideas what I am doing wrong? Thanks in advance. Best regards, Andre

1 0

How to check out ddekit
by Zheng Da 23 Jun '09

23 Jun '09

Hi, I'd like to get the source code of ddekit but it seems that I cannot get it from the SVN repository. I first do $ svn co -N http://svn.tudos.org/repos/tudos/trunk tudos Then I followed the step in http://www.inf.tu-dresden.de/index.php?node_id=1584&ln=en, but always get some error whenever checking out the linux header files. da-zhengs-macbook:tudos dazheng$ ./repomgr co l4env ... A l4/pkg/linux-24-headers/include/linux/netfilter_ipv4/ipt_REJECT.h svn: In directory 'l4/pkg/linux-24-headers/include/linux/netfilter_ipv4' svn: Can't copy 'l4/pkg/linux-24-headers/include/linux/netfilter_ipv4/.svn/tmp/text-base/ipt_TCPMSS.h.svn-base' to 'l4/pkg/linux-24-headers/include/linux/netfilter_ipv4/.svn/tmp/ipt_TCPMSS.h.tmp.tmp': No such file or directory svn update failed at ./repomgr line 349. da-zhengs-macbook:pkg dazheng$ svn up linux-26-headers ... A linux-26-headers/include/linux/netfilter_ipv4/ipt_REJECT.h svn: In directory 'linux-26-headers/include/linux/netfilter_ipv4' svn: Can't move source to dest svn: Can't move 'linux-26-headers/include/linux/netfilter_ipv4/.svn/tmp/prop-base/ipt_TCPMSS.h.svn-base' to 'linux-26-headers/include/linux/netfilter_ipv4/.svn/prop-base/ipt_TCPMSS.h.svn-base': No such file or directory da-zhengs-macbook:pkg dazheng$ svn up dde ... A dde/linux26/contrib/include/linux/netfilter_ipv4/ipt_REJECT.h svn: In directory 'dde/linux26/contrib/include/linux/netfilter_ipv4' svn: Can't copy 'dde/linux26/contrib/include/linux/netfilter_ipv4/.svn/tmp/text-base/ipt_TCPMSS.h.svn-base' to 'dde/linux26/contrib/include/linux/netfilter_ipv4/.svn/tmp/ipt_TCPMSS.h.tmp.tmp': No such file or directory Is the SVN repository correct? Zheng Da

4 8

Invalid TCB Access for thread creation in L4Linux
by Sean 14 Jun '09

14 Jun '09

Dear all Now I try to add some functions and data structures in Fiasco. I had added several data structures into "class Context" and implement some functions to manipulate these data structures. My goal is to add multiple ready queues in Fiasco. So I add the corresponding enqueue function in ready_enqueue() to add the Context into my own ready queue. (But I don't change the way to choose highest Context, I only add the queue and try the functionality of these queue.) It seems to be valid for simple environment. But when I load L4Linux and I want to group all threads owned by L4Linux into my ready queue, it got some unpredictable page fault error. ------------------------------------------------------------------------------- ... mice: PS/2 mouse device common for all mice TCP cubic registered NET: Registered protocol family 17 Freeing init memory: 128K init started: BusyBox v1.13.2 (2009-05-13 02:16:43 CST) starting pid 13, tty '/dev/console': '-/etc/init.d/rcS' Fiasco BUG: pfa=c0440084 err=400017 pc=f001f14c --Fiasco BUG: Invalid TCB access (locked)------------------PC: f00080a8 [rcS] (10.00) jdb: ------------------------------------------------------------------------------- The error is caused from the enqueue function which changes the data structures in class Context. But the error sometimes happened before l4x.idler0 thread creation, sometimes I can get into shell correctly and error happened when I use unix commands (which creates new thread for this unix commands). The error is unpredictable. Because the other threads can work correctly, I guest that there are some issues in L4Linux to cause this error from the modification of class Context. Can anyone give me any idea? Thanks very much!! Best Regards, Sean

1 0

Re: [ANNOUNCE] Introducing Codezero
by John van V. 13 Jun '09

13 Jun '09

Thank you. I gave the idea a little thought, and I think that the next OS needs another layer on top of the UI technology that directly talks to the user. I think that to directly integrate the user into the system, there has to be some kind of mind-mapping interaction with the OS as part of the capabilities that are offered to the user in the UI. Beyond this, the user needs to integrate into the "cloud," which is the rest of society, through the mind mapping, which then becomes minds-mapping. (??) John On Thu, Jun 11, 2009 at 12:03 PM, Bahadir Balban<bahadir(a)l4dev.org> wrote: > John van V. wrote: >> >> Hello Bahadir, >> >> Sounds interesting. I have two questions: >> >> You mention a "native OS components in one system." Does it >> anticipate a specific UI? >> >> Also is it specifically for ARM? >> >> Thanks in advance, John > > Hi John, > > Currently it contains two userspace components, the memory management and > vfs services. So there is no UI yet. On the next few releases there will be > a port of the Xynth windowing system. > > It is very portable, only that ARM is supported as the first architecture. > > > Thanks, > > -- > Bahadir Balban > -- Empathy http://thinman.com/empathy Photography http://thinman.com/photography Technology http://thinman.com

1 0

[Fwd: FW: MSR OS Group RSDE Position]
by Ronald Aigner 12 Jun '09

12 Jun '09

More info on Microsoft Research: http://research.microsoft.com More info about Galen Hunt: http://research.microsoft.com/en-us/people/galenh/ Regards, Ron. -------- Original Message -------- From: Galen Hunt Sent: Thursday, June 11, 2009 8:51 Subject: MSR OS Group RSDE Position Friends, The Microsoft Research (MSR) Redmond OS group is looking for an RSDE. We're looking for someone who can code like the wind and is interesting in gaining great breadth of experience. I think no other group in Microsoft offers an equivalent opportunity to write OS, compiler, and tools code. As an example, one of the RSDEs in my group implemented ACPI for Singularity, most of an ARM JIT for the CLR, and a file system in the last two years. We're favorable toward candidates who want to do a tour of duty in MSR before jumping back to product, or want to build their experience and publication record before going to a top-five school for graduate work. If you know of anyone who would be interested, please ask them to contact me. Here is the job description: The Microsoft Research Operating Systems Group is looking for an exceptionally strong engineer (RSDE) to join our team. We are a tight-knit, world-leading research team with the charter of prototyping new OS-related advances and working closely with product teams on tech transfer. Our team frequently publishes in top conferences such as SOSP, OSDI, PLDI, and POPL. Three of 23 papers in SOSP 2009 were co-authored by members of our group. In the recent past, we built the Singularity OS, prototyped a file system for Phase Change Memory (PCM), published the first research on verification of practical garbage collectors, and experimented with new OS configurations for mobile computing. We are looking for a candidate with exceptionally strong coding skills and a passion to change the world. The ideal candidate will have a B.S. or higher in computer science or a closely related field and at least 3 years of experience either building product quality code or coding in a research environment. Experience with C, C++, and assembly is required. Experience writing kernel-level OS code or compilers is not strictly required, but highly desirable. While not strictly a requirement, preference will be given to candidates who can produce 1,000 lines of code or more per week when building prototypes. Interest and eagerness to work in a wide range of systems projects each year is highly desired. Internal candidates should have a high ratio of exceeded ratings on their annual reviews. Thanks galen

1 0

[ANNOUNCE] Introducing Codezero
by Bahadir Balban 11 Jun '09

11 Jun '09

Hi Everyone, I would like to announce my ongoing work on a new L4 microkernel called Codezero. Codezero is a modern L4 microkernel implementation written in C. It targets embedded platforms, supports the ARM architecture, and aims to implement both virtualization and native OS components in one system. Codezero has a design and API that is similar to existing L4 microkernels such as Pistachio. The software currently comes with two services: First one is the default pager called MM0 that provides memory management capabilities with a POSIX-like API. It supports proper demand paging and implements calls such as fork, clone, execve, exit, mmap, shm. The second service is called FS0 and it implements the virtual filesystem layer. This service supports calls such as open, close, read, write, lseek, stat, fsync, etc. The software comes with a GPLv3 license, and a copyright share agreement option for contributions. The source code base is fairly clean and easy to play with. I encourage anybody interested in development to join. For more details: http://www.l4dev.org Thanks, -- Bahadir Balban

1 0

The implementation of CPU reservation server
by Sean 08 Jun '09

08 Jun '09

Dear Now I am tracing the source code of cpu reservation server in l4/pkg/cpu_reserve directory. And I got several questions... 1. The bottom of cpu reservation server is implemented by l4_rt_add_timeslice(), l4_rt_set_period(), l4_rt_begin_strictly_periodic() functions. And these functions are defined in l4/pkg/l4sys/include/ARCH-x86/rt_sched-impl.h which calls l4_rt_generic() function. Function l4_rt_generic() is implemented by inline assembly, and it seems to call the system call "thread_schedule". Because these functions only appears in ARCH-x86 directory, do they support on ARM architecture? If not, how can I implement similar behaviors of these functions? Where can I find the document about the L4 system call API ? I can't really understand the behavior of these functions. 2. When system contains three user threads, I want to control Fiasco scheduler not to schedule one thread in these three threads during one time interval. How can I implement it? The simplest way seems to control this thread into un-running state. How can I achieve this by a supervisal server? I'm sorry for my poor English and lengthy question. I'm glad if you give me some hints or corrections. Thanks a lot! Best Regards, Sean

2 8

The behavior of scheduler in L4Linux on ARM architecture
by Sean 21 May '09

21 May '09

Dear Now I am studying the scheduler design issue of DROPS including Fiasco and L4Linux. In the reference document, "L4Linux Porting Optimizations", it said that " In an L4Linux system two schedulers are active. One is in the L4 kernel scheduling all L4 threads including L4Linux processes. The L4 scheduler uses static priorities and schedules threads with the same priority round-robin. The other scheduler is in the Linux server, deciding which Linux process to run next. L4Linux is designed in a way that from the view of the Linux server multiple user processes can be running in the L4 system. Furthermore, the Linux scheduler can only consider those processes that are blocked in the server. Consequently, the Linux server needs to distinguish between user processes being served by the Linux server and the ones running." For the behavior of the scheduler in L4Linux, I got some questions below. 1. In L4Linux, the process/thread will map to several L4 Threads. How the scheduler in the Linux Server considers user processes in L4Linux whether to execute in L4 system ? According to the document, does L4Linux scheduler only control the user process whether block or not? 2. Based on the L4Linux source code from currently SVN, the behavior of schedule() function (kernel/sched.c line 4546) is => If next != prev, call context_switch() function => In context_switch() function (kernel/sched.c Line 2649), it calls architecture dependent function switch_to() => In switch_to() function (arch/l4/include/asm/arch-arm/system.h Line 222), it calls l4x_switch_to() function and __switch_to() function => In l4x_switch_to() function (arch/l4/kernel/arch-arm/dispatch.c Line 170), it logs the message to Trace Buffer of Fiasco and set l4x_current_process => In __switch_to() function (arch/l4/kernel/arch-arm/switch_to.S Line 5), it store the registers to CPU context of thread_info and load all regs saved previously Based on the source code analysis, it seems that when the L4Linux scheduler decide to do the context switch, the architecture dependent function __switch_to() will do the register restore and load. According to the document, I think the behavior here should set the corresponding thread status of prev and next user process to block or unblock these L4 threads. But here it does low level register restore and reload operations to change the current running process directly. It confuses me. Can anyone give me any ideas to address this? Thanks a lot! Best Regards, Sean

2 3

time problem
by fang zhengshu 19 May '09

19 May '09

hi all, I write a simple test example about time function.but when I use the "time()" function,the code can not be compiled correctly. I just have include the <time.h>,any question? the error I put following: l4@192:~/tudos/l4/pkg/test_fifo/examples/client$ make PWD=/home/l4/tudos/build/pkg/test_fifo/examples/client/OBJ-x86_586-l4v2 make -C /home/l4/tudos/build/pkg/test_fifo/examples/client/OBJ-x86_586-l4v2 -f Makefile make[1]: Entering directory `/home/l4/tudos/build/pkg/test_fifo/examples/client/OBJ-x86_586-l4v2' ... Compiling main.o LD_PRELOAD=/home/l4/tudos/build/tool/gendep/libgendep.so GENDEP_TARGET=main.o GENDEP_BINARY=cc1 gcc -m32 -c -DUSE_UCLIBC=y -DRAM_BASE=0x0 -DSYSTEM_x86_586_l4v2 -DARCH_x86 -DCPUTYPE_586 -DL4API_l4v2 -DCONFIG_L4_CALL_SYSCALLS -DCONFIG_L4_ABS_SYSCALLS -I/home/l4/tudos/build/pkg/test_fifo/idl/OBJ-x86-l4v2 -I/home/l4/tudos/build/include/x86/l4v2 -I/home/l4/tudos/build/include/l4v2 -I/home/l4/tudos/build/include/x86 -I/home/l4/tudos/build/include -I/home/l4/tudos/l4/../dice/include -I/home/drops/include/x86/l4v2 -I/home/drops/include/l4v2 -I/home/drops/include/x86 -I/home/drops/include -nostdinc -I/home/l4/tudos/build/include/x86/uclibc -I/home/l4/tudos/build/include/uclibc -I/home/l4/tudos/build/include/uclibc++ -I/home/drops/include/x86/uclibc -I/home/drops/include/uclibc -I/home/drops/include/uclibc++ -I/usr/lib/gcc/i486-linux-gnu/4.2.4/include -I/usr/lib/gcc/i486-linux-gnu/4.2.4/include-fixed -gstabs+ -g -O2 -fno-strict-aliasing -march=i586 -Wall -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -fno-common -fno-stack-protector /home/l4/tudos/l4/pkg/test_fifo/examples/client/main.c -o main.o ==> Linking test_fifo-client LD_PRELOAD=/home/l4/tudos/build/tool/gendep/libgendep.so GENDEP_TARGET=test_fifo-client GENDEP_BINARY=ld GENDEP_BINARY_ALT1=ld ld -m elf_i386 -o test_fifo-client /home/l4/tudos/build/lib/x86_586/crt0.o main.o test-client.o -Ttext=0x1100000 --hash-style=sysv -L/home/l4/tudos/build/lib/x86_586/l4v2 -L/home/l4/tudos/build/lib/x86_586 -L/home/l4/tudos/build/lib -L/home/drops/lib/x86_586/l4v2 -L/home/drops/lib/x86_586 -L/home/drops/lib -T/home/l4/tudos/build/lib/x86_586/main_stat.ld -static -lgeneric_ts -ll4env -ll4rm -ldm_generic -ldm_mem -lthread -lsemaphore -llogserver_capsule -lnames -ll4util_root -ll4util -lsigma0 -lroot -ll4env -ll4env_err -ll4rm -ldm_generic -ldm_mem -lthread -lslab -ll4sys -nostdlib -luc_c -luclibc_support -u mmap_anon -lc_be_simple_mem -lc_be_mmap -lc_be_mmap_util -lc_be_l4env_start_stop -lc_be_minimal_log_io -luc_be_simple_sleep -ll4env -llogserver_capsule -ll4rm -ldm_generic -ldm_mem -lthread -lgeneric_ts -luc_c /usr/lib/gcc/i486-linux-gnu/4.2.4/libgcc.a -luc_c -ll4sys -Ttext=0x1100000 --warn-common -gc-sections main.o: In function `main': /home/l4/tudos/l4/pkg/test_fifo/examples/client/main.c:36: undefined reference to `time' /home/l4/tudos/l4/pkg/test_fifo/examples/client/main.c:40: undefined reference to `time' /home/l4/tudos/l4/pkg/test_fifo/examples/client/main.c:36: undefined reference to `time' make[1]: *** [test_fifo-client] Error 1 make[1]: Leaving directory `/home/l4/tudos/build/pkg/test_fifo/examples/client/OBJ-x86_586-l4v2' make: *** [/home/l4/tudos/build/pkg/test_fifo/examples/client/OBJ-x86_586-l4v2] Error 2 I have search the same error in l4-hackers ,someone suggest use rtc server,I think it's a good idea.but I have found that the time() function in time.h,why the error will happen? The reason I just include time.h? Thank you! -- fang,

3 5

USB Smartcard reader unter L4Linux
by Gianfranco Ricci 18 May '09

18 May '09

Hello l4hackers! I'm trying to set up an L4Linux environment in which a USB smartcard reader [ReinerSCT cyberjack e-com(a) ] can be used but I'm encountering problems. I'm using: L4Linux 2.6.22 with complete USB support libusb 1.0 usbutils 0.11 Driver 3.3.2Beta3 for the smartcard reader PCSC-lite 1.53 The problem is that the driver could not be loaded (into USB userspace). Maybe the libusb (compiled under Linux 2.6.25) is not complete compatible with L4Linux 2.6.22. Using Blockdevices such exernal Harddisks is possible, so USB support in general should be okay. Executing "lsusb" don't show ANY USB device. Only "lsusb -t" shows a correct result in which my cardreader is listed. Other parameter have the same output as "lsusb". Bus# 7 `-Dev# 1 Vendor 0x0000 Product 0x0000 Bus# 6 `-Dev# 1 Vendor 0x0000 Product 0x0000 Bus# 5 `-Dev# 1 Vendor 0x0000 Product 0x0000 Bus# 4 `-Dev# 1 Vendor 0x0000 Product 0x0000 `-Dev# 2 Vendor 0x0c4b Product 0x0400 << my smartcard reader Bus# 3 `-Dev# 1 Vendor 0x0000 Product 0x0000 |-Dev# 2 Vendor 0x0a5c Product 0x2110 `-Dev# 3 Vendor 0x0483 Product 0x2016 Bus# 2 `-Dev# 1 Vendor 0x0000 Product 0x0000 Bus# 1 `-Dev# 1 Vendor 0x0000 Product 0x0000 `-Dev# 5 Vendor 0x04b3 Product 0x4485 `-Dev# 6 Vendor 0x046d Product 0xc03e Using "cat /proc/bus/usb/devices" shows ALL devices (here listed only my smartcard reader) T: Bus=04 Lev=01 Prnt=01 Port=00 Cnt=01 Dev#= 2 Spd=12 MxCh= 0 D: Ver= 2.00 Cls=00(>ifc ) Sub=00 Prot=00 MxPS= 8 #Cfgs= 1 P: Vendor=0c4b ProdID=0400 Rev= 0.01 S: Manufacturer=Reiner-SCT S: Product=cyberJack e-com(a) S: SerialNumber=1776760900 C:* #Ifs= 1 Cfg#= 1 Atr=80 MxPwr= 96mA I:* If#= 0 Alt= 0 #EPs= 3 Cls=ff(vend.) Sub=00 Prot=00 Driver=(none) // Driver=usbfs under Linux after starting pcsc!!! E: Ad=83(I) Atr=03(Int.) MxPS= 64 Ivl=5ms E: Ad=81(I) Atr=02(Bulk) MxPS= 64 Ivl=0ms E: Ad=02(O) Atr=02(Bulk) MxPS= 64 Ivl=0ms When i try so start PCSC-Lite which should load the ReinerSCT driver the syslog tells: May 12 14:25:51 (none) user.info pcscd: hotplug_libhal.c:307:get_driver() Looking a driver for VID: 0x0C4B, PID: 0x0400 May 12 14:25:51 (none) user.info pcscd: hotplug_libhal.c:342:HPAddDevice() Adding USB device: usb_device_c4b_400_1776760900_if0 May 12 14:25:52 (none) user.info pcscd: readerfactory.c:1024:RFInitializeReader() Attempting startup of REINER SCT CyberJack ecom_a (1776760900) 00 00 using /usr/lib/pcsc/drivers/ifd-cyberjack.bundle/Contents/Linux/ifd-cyberjack.so May 12 14:25:52 (none) user.info pcscd: readerfactory.c:877:RFBindFunctions() Loading IFD Handler 3.0 May 12 14:26:10 (none) user.info pcscd: readerfactory.c:1050:RFInitializeReader() Open Port 200000 Failed (usb:0c4b/0400:libhal:/org/freedesktop/Hal/devices/usb_device_c4b_400_1776760900_if0) May 12 14:26:10 (none) user.info pcscd: readerfactory.c:914:RFUnloadReader() Unloading reader driver. May 12 14:26:10 (none) user.info pcscd: readerfactory.c:233:RFAddReader() REINER SCT CyberJack ecom_a (1776760900) init failed. May 12 14:26:10 (none) user.info pcscd: hotplug_libhal.c:397:HPAddDevice() Failed adding USB device: usb_device_c4b_400_1776760900_if0 and debug output from ReinerSCT driver: CTAPI :[00000402]:2009/04/12 14:26:04:590976:[LOG]:ctapi.cpp:init:334:Initialised CTAPI library (3.3.2.0/7.0.0) CTAPI :[00000402]:2009/04/12 14:26:04:590976:[LOG]:ctapi.cpp:_init_common1:424:ctn=0, pn=0, devName=usb:0c4b/0400:libhal:/org/freedesktop/Hal/devices/usb_device_c4b_400_1776760900_if0 CTAPI :[00000402]:2009/04/12 14:26:04:650977:[LOG]:ctapi.cpp:_init_common1:605:Device path is: [usb:0c4b/0400:libhal:/org/freedesktop/Hal/devices/usb_device_c4b_400_1776760900_if0] [trying several times (5sec)] COMIN :[00000402]:2009/04/12 14:26:04:650977:[<USB>]:ausb.c: 308: Looking for HAL device COMIN :[00000402]:2009/04/12 14:26:04:650977:[<USB>]:ausb.c: 383: Looking for device at 004/002 COMIN :[00000402]:2009/04/12 14:26:04:650977:[<USB>]:ausb.c: 386: Device not found COMIN :[00000402]:2009/04/12 14:26:10:711068:[<USB>]:ausb.c: 426: Device [usb:0c4b/0400:libhal:/org/freedesktop/Hal/devices/usb_device_c4b_400_1776760900_if0] not found within 5 secs, giving up COMERR:[00000402]:2009/04/12 14:26:10:711068:[<USB>]:Device not found CTAPI :[00000402]:2009/04/12 14:26:10:711068:[LOG]:ctapi.cpp:_init_common1:711:Unable to connect device 0 [usb:0c4b/0400:libhal:/org/freedesktop/Hal/devices/usb_device_c4b_400_1776760900_if0]: -1 CTAPI :[00000402]:2009/04/12 14:26:10:711068:[LOG]:ctapi.cpp:fini:348:Deinitializing CTAPI library IFD :[00000402]:2009/04/12 14:26:10:711068:[LOG]:ifdhandler.c:IFDHCreateChannelByName:243:-127=CT_init_name(0,usb:0c4b/0400:libhal:/org/freedesktop/Hal/devices/usb_device_c4b_400_1776760900_if0) Has anyone experience using a smartcard reader (or a usb device using userspace driver under L4Linux) ? Could the problem be the libusb compiled under Linux? Has anyone an other idea where the problem could come from? Thanks in advance! Gianfranco

1 1

USB for L4
by mx＠sven-fuelster.com 11 May '09

11 May '09

Hi, I'm just reading Dirk Vogt's thesis about 'USB for the L4 Environment' and I'd like to check out the corresponding code. I'm afraid it's not included in your svn-tree - is there any chance to obtain it? Kind regards Sven

2 1