l4-hackers

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

2 participants
2880 discussions

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

Warning from ORe stub driver
by Alexander Valitov 03 May '09

03 May '09

Hi, When I use L4Linux ORe stub driver it constantly prints these warnings: l4lx | eth0: buffer too small (1) l4lx | eth0: buffer too small (1) l4lx | eth0: buffer too small (1) What does it mean? How can I fix it? Best Regards, Alexander Valitov -- View this message in context: http://www.nabble.com/Warning-from-ORe-stub-driver-tp22827840p22827840.html Sent from the L4 mailing list archive at Nabble.com.

4 7

Re: Do L4 Fiasco microkernel support multicore processor?
by Neohtm 03 May '09

03 May '09

> > > > Hi, > > On Wed Apr 22, 2009 at 11:40:31 +0800, Neohtm wrote: > > I would like to know whether the Fiasco microkernel is able to run on > > multicore processor such as Intel Core 2 Duo or Quad Core??? > > I want to try to compile the Fiasco + DOpE + L4Linux to run on it. > > >It will run there (albeit only use one CPU in the current version). So, Fiasco is able to detect the multicore platform and use the first core (CPU0) ? In that case, is it possible to launch the L4Linux in another specific core of the processor by adding kernel command (-nosmp, -isolcpus ) in l4linux26.cfg? > > > > > >Adam > -- > >Adam adam(a)os.inf.tu-dresden.de > > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > > > ------------------------------ > > _______________________________________________ > l4-hackers mailing list > l4-hackers(a)os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > > > End of l4-hackers Digest, Vol 72, Issue 27 > ****************************************** >

2 1

USB mouse error
by Neohtm 29 Apr '09

29 Apr '09

Hi all, I tried to run the tudos-demo-cd.iso with qemu 'qemu -m 256 -cdrom tudos-demo-cd.iso -usbdevice mouse' and it's running perfectly with the usb mouse and keyboard. but when i tried on the one i'm compiled. the mouse and keyboard not functioning at all and returns a kernel panic. Please help..... Regards, neohtm Below are the output of the error. Welcome to Fiasco(ia32)! DD-L4(v2)/ia32 microkernel (C) 1998-2009 TU Dresden Rev: r438 compiled with gcc 4.3.2 for Intel Pentium [] Performance-critical config option(s) detected: CONFIG_NDEBUG is off CONFIG_NO_FRAME_PTR 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 1795 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: 24576 bytes (6 pages) Calibrating timer loop... done. SIGMA0: Hello! KIP @ 1000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures Roottask. Command line found: "(cd)/boot/l4/l4env/roottask task modname "loader" allow_cli task modname "bmodfs" attached 5 modules" 261695kB ( 255MB) total RAM (reported by bootloader) 234760kB ( 230MB) received RAM from Sigma0 34212kB ( 34MB) 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 (loader): vm_offs:0 irq:3ffff lmcp:ffff allow_cli:1 mcp:ff prio:10 small:ff mods:0 configured task 0x00 (bmodfs): vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:5 Roottask: Loading 17 modules. #05: loading "(cd)/boot/l4/l4env/events" from [0612e000-0616fe99] to [01540000-01549190][0154a000-0155f590] entry at 0005f374 via trampoline page code symbols at [0eb74000-0eb76000] (8kB), lines at [0eb6d000-0eb74000] (28kB) #06: loading "(cd)/boot/l4/l4env/names --events" from [06170000-061b1c12] to [002d0000-002d6a37][002d7000-002e2000] entry at 0006037c via trampoline page code symbols at [0eb6b000-0eb6d000] (8kB), lines at [0eb65000-0eb6b000] (24kB) #07: loading "(cd)/boot/l4/l4env/log" from [061b2000-061efd07] to [00400000-00406eca][00407000-00439808] entry at 00061370 via trampoline page code symbols at [0eb63000-0eb65000] (8kB), lines at [0eb5d000-0eb63000] (24kB) #08: loading "(cd)/boot/l4/l4env/dm_phys --isa=0x00800000" from [061f0000-0628a8b4] to [01500000-01513cb7][01514000-0151e000] entry at 00062384 via trampoline page code symbols at [0eb58000-0eb5d000] (20kB), lines at [0eb4a000-0eb58000] (56kB) #09: loading "(cd)/boot/l4/l4env/simple_ts -t 300" from [0628b000-062d8310] to [01400000-01408dea][01409000-014185e8] entry at 0006337c via trampoline page code symbols at [0eb48000-0eb4a000] (8kB), lines at [0eb40000-0eb48000] (32kB) #0a: loading "(cd)/boot/l4/l4env/rtc" from [062d9000-06308a5c] to [01080000-010845c0][01085000-0108a000] entry at 00064370 via trampoline page code symbols at [0eb3e000-0eb40000] (8kB), lines at [0eb39000-0eb3e000] (20kB) #0b: loading "(cd)/boot/l4/l4env/l4io" from [06309000-0654a391] to [00c20000-00c45315][00c46000-00cb4000] entry at 00066370 via trampoline page code symbols at [0eae3000-0eb39000] (344kB), lines at [0eac9000-0eae3000] (104kB) #0c: loading "(cd)/boot/l4/l4env/l4dope" from [0654b000-066c2384] to [01b00000-01b45ef1][01b46000-01b8b000] entry at 00067374 via trampoline page code symbols at [0eabb000-0eac9000] (56kB), lines at [0ea8d000-0eabb000] (184kB) #0d: loading "(cd)/boot/l4/usb/usbcore" from [066c3000-068faac1] to [008e0000-0092600d][00927000-0094c000] entry at 00068374 via trampoline page code symbols at [0ea81000-0ea8d000] (48kB), lines at [0ea4b000-0ea81000] (216kB) #0e: loading "(cd)/boot/l4/usb/usbhid" from [068fb000-06aa0604] to [01900000-0193e269][0193f000-01966000] entry at 00069370 via trampoline page code symbols at [0ea42000-0ea4b000] (36kB), lines at [0ea17000-0ea42000] (172kB) #0f: loading "(cd)/boot/l4/l4env/bmodfs" from [06aa1000-06b48f8d] to [01220000-01238689][01239000-01250000] passing module (cd)/boot/l4/cfg/l4linux26.cfg [ 06b49000-06b49165 ] passing module (cd)/boot/l4/l4env/libloader.s.so [ 06b4a000-06be8f11 ] passing module (cd)/boot/l4/l4env/libld-l4.s.so [ 06be9000-06c62219 ] passing module (cd)/boot/l4/l4linux/vmlinuz [ 06c63000-07019183 ] passing module (cd)/boot/l4/l4linux/drops.rd [ 0701a000-0801a000 ] entry at 0006a46c via trampoline page code symbols at [0ea12000-0ea17000] (20kB), lines at [0e9ff000-0ea12000] (76kB) #10: loading "(cd)/boot/l4/l4env/loader --fprov=BMODFS l4linux26.cfg" from [0801a000-080f8b6d] to [01300000-013291c9][0132a000-01349000] entry at 0006b390 via trampoline page code symbols at [0e9f8000-0e9ff000] (28kB), lines at [0e9de000-0e9f8000] (104kB) ROOT: Sending ports 0070-0070 to task #0a ROOT: Sending ports 0080-0080 to task #0a ROOT: Sending ports 0071-0071 to task #0a names | Starting thread listening for `exit' events rtc | Date:29.04.2009 Time:07:33:01 simplets| Configured for 300 tasks. loader | Can't map tbuf status page usbcore | main(): DDE USB CORE initiaizing: usbcore | main(): Initializing DDE base system. io | Using platform configuration 'x86' 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: PIIX3: Enabling Passive Release on 00:01.0 io | Limiting direct PCI/PCI transfers. io | Activating ISA DMA hang workarounds. io | 00000000-ffffffff : PCI mem io | f0000000-f1ffffff : Cirrus Logic GD 5446 io | f2000000-f2000fff : Cirrus Logic GD 5446 io | 0000-ffff : PCI IO io | 0cf8-0cff : PCI conf1 io | b000-b03f : Intel Corporation 82371AB/EB/MB PIIX4 ACPI io | b100-b11f : Intel Corporation 82371AB/EB/MB PIIX4 ACPI io | c000-c00f : Intel Corporation 82371SB PIIX3 IDE [Natoma/Triton II] io | c020-c03f : Intel Corporation 82371SB PIIX3 USB [Natoma/Triton II] io | c100-c1ff : Realtek Semiconductor Co., Ltd. RTL-8029(AS) bmodfs | Passed the following modules: bmodfs | module "(cd)/boot/l4/cfg/l4linux26.cfg" (1kB) bmodfs | module "(cd)/boot/l4/l4env/libloader.s.so" (636kB) bmodfs | module "(cd)/boot/l4/l4env/libld-l4.s.so" (485kB) bmodfs | module "(cd)/boot/l4/l4linux/vmlinuz" (3801kB) bmodfs | module "(cd)/boot/l4/l4linux/drops.rd" (16384kB) loader | sleeping for 1000 ms io | Available IRQs=[ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f 10 11 ] l4dope | L4INPUT native mode activated l4dope | L4INPUT: !!! W A R N I N G !!! l4dope | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT. l4dope | L4INPUT: !!! W A R N I N G !!! ROOT: Sending ports 0060-006f to task #0b l4dope | Failed to disable AUX port, but continuing anyway... Is this a SiS? l4dope | If AUX port is really absent please use the 'i8042.noaux' option. l4dope | serio: i8042 KBD port at 0x60,0x64 irq 1 l4dope | input: AT Raw Set 2 keyboard on isa0060/serio0 l4dope | input: PC Speaker l4dope | input: L4 input event injector l4dope | L4 input event injector: IRQ handler up l4dope | connect "AT Raw Set 2 keyboard", isa0060/serio0/input0 l4dope | connect "PC Speaker", isa0061/input0 l4dope | connect "L4 input event injector", l4/sys l4dope | SharedMem(alloc): hl.raw=100000, id=44, size=800 l4dope | SharedMem(get_adr): address = 0x5000 l4dope | SharedMem(alloc): hl.raw=100000, id=45, size=800 l4dope | SharedMem(get_adr): address = 0x6000 l4dope | SharedMem(alloc): hl.raw=100000, id=46, size=800 l4dope | SharedMem(get_adr): address = 0x7000 l4dope | SharedMem(alloc): hl.raw=100000, id=47, size=800 l4dope | SharedMem(get_adr): address = 0xd000 l4dope | SharedMem(alloc): hl.raw=100000, id=48, size=800 l4dope | SharedMem(get_adr): address = 0xe000 l4dope | SharedMem(alloc): hl.raw=100000, id=49, size=800 l4dope | SharedMem(get_adr): address = 0xf000 l4dope | SharedMem(alloc): hl.raw=100000, id=4b, size=800 l4dope | SharedMem(get_adr): address = 0x16000 usbcore | main(): Initializing DDE kmalloc. usbcore | main(): Initializing DDE process. usbcore | main(): Initializing DDE timers. usbhid | l4dde_mm_init(): Using ... usbhid | 16 kB at 0x00002000 (vmem) usbhid | 128 kB in 1 regions (kmem) l4dope | SharedMem(alloc): hl.raw=100000, id=55, size=484 l4dope | SharedMem(get_adr): address = 0x20000 l4dope | dope: paddr=f0000000 size=4096KiB l4dope | Mapped video memory at f0000000 to 00400000+000000 [4096kB] via L4IO l4dope | mapping: vaddr=0x400000 size=4194304(0x400000) offset=0(0x0) l4dope | Frame buffer base: 0x400000 l4dope | Resolution: 1024x768x16 l4dope | Bytes per scanline: 2048 l4dope | Current video mode is 1024x768 red=11:5 green=5:6 blue=0:5 res=0:0 usbcore | main(): Initializing DDE softirq. usbcore | Softirq daemon starting usbcore | main(): Doing initcalls... usbcore | Initializing DDE page cache usbcore | <6>usbcore: registered new interface driver hub usbhid | register_chrdev(): called input usbhid | register_chrdev(): called usb usbhid | usb: registered new driver hub usbhid | usb: $Revision: 238 $ time 17:10:21 Apr 11 2009 usbhid | usb: High bandwidth mode enabled io | PCI: Setting latency timer of device 00:01.2 to 64 usbhid | /home/user/Desktop/tudos/l4/pkg/usbhid/server/lib-linux/contrib/usb/h usbhid : ost/usb-uhci.c: USB UHCI at I/O 0xc020, IRQ 9 ROOT: Sending ports c030-c031 to task #0e ROOT: Sending ports c032-c033 to task #0e ROOT: Sending ports c034-c035 to task #0e usbhid | usb: Detected 2 ports ROOT: Cannot send port c030 to task #0b, owner is #0e io | [B.2] l4io/server/src/res.c:414:l4_io_request_region_component(): io | sigma0 request for I/O ports [c020,c040) failed (err=0 dw1=0) io | --PANIC, 'g' for exit------------------------------------IP: 00c21185 [io] (b.02) jdb:

3 3

ORe + L4Linux network performance
by Alexander Valitov 28 Apr '09

28 Apr '09

Hi All, Could anyone please tell me? 1. Did someone measure a L4Linux network performance when ORe is in use? Are there any report or paper with results? 2. What about 1 Gbit/s cards (e.g. Intel e1000)? Were they tested? 3. How badly is influence of other running L4Linux processes on network performance? Best Regards, Alexander Valitov -- View this message in context: http://www.nabble.com/ORe-%2B-L4Linux-network-performance-tp23273467p232734… Sent from the L4 mailing list archive at Nabble.com.

3 3

vbeset support for GRUB
by Neohtm 24 Apr '09

24 Apr '09

Hi, I'm able to compile L4 Fiasco + DOpE + L4Linux and test run on Qemu. But when i run it on the real machine, the GRUB seems don't support for modaddr and vbeset command. I got the GRUB-0.97 source from Adam's website and compile successfully. But what is the next step after this in order to boot directly on the current machine? I tried to copy directly the compiled files to /boot/grub but it didn't shows the menu.lst instead of that, i'm also not sure about how to tftpboot to another machine? any site or instructions on how to achieve this? Please advise. Thanks Regards, neohtm

2 2

Jump to page:

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