- l4-hackers - example.com Site

Rename compund to compound
by Christian Ehrhardt 04 May '11

04 May '11

Hi, in the past weeks I've been reading through the fiasco kernel code. This is the start of a series of patches that clean up stuff or fix bugs that I think I found. Comments appreciated. The first patch renames a method called compund to compound, more important patches follow :-) regards Christian diff --git a/src/kernel/fiasco/src/abi/l4_msg_item.cpp b/src/kernel/fiasco/src/abi/l4_msg_item.cpp index bbb92ef..1155a5f 100644 --- a/src/kernel/fiasco/src/abi/l4_msg_item.cpp +++ b/src/kernel/fiasco/src/abi/l4_msg_item.cpp @@ -16,7 +16,7 @@ public: }; explicit L4_msg_item(Mword raw) : _raw(raw) {} - Mword compund() const { return _raw & 1; } + Mword compound() const { return _raw & 1; } Type type() const { return Type(_raw & 8); } bool is_void() const { return _raw == 0; } bool is_small_obj() const { return _raw & 2; } diff --git a/src/kernel/fiasco/src/kern/thread-ipc.cpp b/src/kernel/fiasco/src/kern/thread-ipc.cpp index f8e1995..3288b2a 100644 --- a/src/kernel/fiasco/src/kern/thread-ipc.cpp +++ b/src/kernel/fiasco/src/kern/thread-ipc.cpp @@ -948,7 +948,7 @@ Thread::transfer_msg_items(L4_msg_tag const &tag, Thread* snd, Utcb *snd_utcb, --items; - if (!item->b.compund()) + if (!item->b.compound()) buf_iter->next(); }

2 9

I have a problem when I built the L4Re environment
by 王彬彬 04 May '11

04 May '11

> ==> Installing crti.o to local build-tree > ... Compiling crtn.o > initfini.c: Assembler messages: > initfini.c:29: Error: .size expression for _init does not evaluate to a > constant > initfini.c:29: Error: .size expression for _fini does not evaluate to a > constant > make[3]: *** [crtn.o] Error 1 > make[3]: Leaving directory > `/home/wegrzyn/Fiasco/L4re-build/pkg/ldscripts/OBJ-x86_core2' > make[2]: *** > [/home/wegrzyn/Fiasco/L4re-build/pkg/ldscripts/OBJ-x86_core2] Error 2 > make[2]: Leaving directory `/home/wegrzyn/Fiasco/src/l4/pkg/ldscripts' > make[1]: *** [ldscripts] Error 2 > make[1]: Leaving directory `/home/wegrzyn/Fiasco/src/l4/pkg' > make: *** [pkg] Error 2 Can anyone venture a guess what I need to correct? TYXL HFUT,China

2 1

64 bit support in L4Linux
by Stefan Kalkowski 03 May '11

03 May '11

Hi, I've a short question related to L4Linux for 'x86_64'. When looking at the L4-specific architecture-files, I got the impression that the 64-bit support from the x86 port got retained. But my attempts to enable 64-bit in L4Linux failed. (Setting environment variables, tweaking configuration, hacking Kconfig a bit...) Does that mean 64-bit isn't supported by now, or if it is, what is the recommended way to enable it? Any advice on approach is welcome. Thanks, Stefan

2 2

how i can determine utcb loaction in order to make thread
by Jason Philip 01 May '11

01 May '11

I am very puzzled, I can't seem to find utcb location in L4Ka::pistachio. One example do this: L4_ThreadId_t mylocalid = L4_MyLocalId (); utcb_base = *(L4_Word_t *) &mylocalid; utcb_base &= ~(L4_UtcbAreaSize (kip) - 1); where the current thread is initial thread (main), but i try this it do not work. Can someone suggest proper way to determine the utcb location so that I can create a new thread? Please

3 13

Ethernet on Beagleboard xM with Ankh+L4Linux ?
by Julien Heyman 23 Apr '11

23 Apr '11

Hello, I am trying to understand what it would take to have access to (physical) ethernet from L4Linux running on a Beagleboard xM. As far as I understood/read, I can either try to integrate the native ethernet driver in L4Linux, or rely on Ankh networking server. Since I am running two instances of L4Linux, I'd rather use the Ankh solution. >From what I see Ankh does not currently include an appropriate driver for the BB xM's ethernet chip. Is it doable to pick an existing ethernet driver for the BB xM from, say, the Angström linux distribution for Beagleboard, and integrate it to Ankh ? Assuming this is possible, do I understand correctly that I would then only have to enable the Ankh driver option in the L4Linux configuration, to get an ethernet access in L4Linux ? Regards, Julien

2 2

Assertion failed: 'prev_next' [ret=0xf000e9c8] (arm qemu realview pbx system)
by Siegfried Podesser 19 Apr '11

19 Apr '11

hello together, If I try to run the L4Linux or the hello example via a patched QEMU (with trustzone support) I get the following error message: ------------ ./qemu-system-arm -M vexpress-a9 -kernel /home/beresford/Work-Repositories/sepia/desastro/l4/build/images/bootstrap_hello.elf -initrd /home/beresford/Downloads/ramdisk-arm.rd -append "console=ttyAMA0 console=tty0 dhcp=on" -m 1024 -s -gdb tcp::5022 erster teilerfolg: Fiasco + L4 hüpfen zumindest mal an... ./qemu-system-arm -M vexpress-a9 -kernel /home/beresford/Work-Repositories/sepia/desastro/l4/build/images/bootstrap_L4linux_ARM.elf -initrd /home/beresford/Downloads/ramdisk-arm.rd -append "console=ttyAMA0 console=tty0 dhcp=off" -m 512 -smp 1 -gdb tcp::1234 -serial stdio bp147: attached 100e6000..100e6fff to TZDECPROT0[6] bp147: attached 100e4000..100e4fff to TZDECPROT0[4] L4 Bootstrapper Build: #3 Tue Apr 19 09:46:31 CEST 2011, 4.5.1 Scanning up to 256 MB RAM Memory size is 256MB (00000000 - 10000000) RAM: 0000000000000000 - 000000000fffffff: 262144kB Total RAM: 256MB mod09: 01500000-01800000: ramdisk-arm.rd mod08: 0124e000-014ff488: vmlinuz.arm mod07: 0124d000-0124d0bd: arm-rv.io mod06: 01162000-0124c7d4: io mod05: 01161000-01161189: l4lx.cfg mod04: 01105000-011601ac: ned mod03: 010e3000-01104488: l4re mod02: 010a5000-010e266c: moe mod01: 01093000-010a4304: sigma0 mod00: 01015000-01092a2c: fiasco Moving 10 modules to 1100000 with offset eb000 moving module 10 { 1500000-1800000 } -> { 15eb000-18eb000 } moving module 09 { 124e000-14ff488 } -> { 1339000-15ea488 } moving module 08 { 124d000-124d0bd } -> { 1338000-13380bd } moving module 07 { 1162000-124c7d4 } -> { 124d000-13377d4 } moving module 06 { 1161000-1161189 } -> { 124c000-124c189 } moving module 05 { 1105000-11601ac } -> { 11f0000-124b1ac } moving module 04 { 10e3000-1104488 } -> { 11ce000-11ef488 } moving module 03 { 10a5000-10e266c } -> { 1190000-11cd66c } moving module 02 { 1093000-10a4304 } -> { 117e000-118f304 } moving module 01 { 1015000-1092a2c } -> { 1100000-117da2c } Scanning fiasco Scanning sigma0 Scanning moe rom/l4lx.cfg Relocated mbi to [0x100f000-0x100f151] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x2000 Regions of list regions [ 1000, 19ff] { a00} Kern fiasco [ 2000, 8cfff] { 8b000} Kern fiasco [ 90000, 9e193] { e194} Sigma0 sigma0 [ 140000, 18b48b] { 4b48c} Root moe [ 1000000, 10143eb] { 143ec} Boot bootstrap [ 100f000, 100f24e] { 24f} Root Multiboot info [ 11ce000, 18eafff] { 71d000} Root Modules Memory API Version: (87) experimental Sigma0 config ip:00090000 sp:01013044 Roottask config ip:00140088 sp:00000000 Starting kernel fiasco at 00001000 Realview System ID: Rev=1 HBI=190 Build=f Arch=5 FPGA=00 L2: ID=00000000 Type=00000000 L2 cache enabled Hello from Startup::stage2 Assertion failed: 'prev_next' [ret=0xf000e9c8] /home/beresford/Work-Repositories/sepia/desastro/kernel/fiasco/src/kern/buddy_alloc.cpp:23 at f000e834 --------------------------------- If I remove the assertion check it executes a little bit more and I get the following error: --------------------------------- ... Starting kernel fiasco at 00001000 Realview System ID: Rev=1 HBI=190 Build=f Arch=5 FPGA=00 L2: ID=00000000 Type=00000000 L2 cache enabled Hello from Startup::stage2 Per_cpu_data_alloc: (orig: 0xf007a628-0xf007b030) Initialize page table Number of IRQs available at this GIC: 32 Number of IRQs available at this GIC: 32 Vmem_alloc::init() Cache config: ON ID_PFR0: 00001031 ID_PFR1: 00000011 ID_DFR0: 00000000 ID_AFR0: 00000000 ID_MMFR0: 00100103 ID_MMFR1: 20000000 ID_MMFR2: 01230000 ID_MMFR3: 00002111 Panic: UTCB pointer page allocation failure Press any key to reboot. ---------------------------------- Through the mailing list i found your posting from Thu, 25 Sep 2008 10:57:29 where you have suggested to check the RAM_SIZE_MB in the l4 config file. I've checked it and it is set to 256MB as my qemu is set as well. I tried it further with 512MB and 1GB but it changes nothing. Do you have any further ideas ? kind regards, siegfried

2 1

L4Linux (arm) - change CPU speed
by Siegfried Podesser 12 Apr '11

12 Apr '11

Hello, is there a way or an example source code to change the CPU speed? I'm using the original Fiasco kernal together with the given L4Linux for arm platforms. Thank you for your help! kind regards, siegfried

2 1

How to add more NIC drivers for ankh?
by Alexey Aizatullin 10 Apr '11

10 Apr '11

Hello, Could you please explain what steps should I do to add drivers for other ethernet adapters for ankh? -- --------------------------------------- Alexey Aizatullin

2 1

Increase L4linux ramdisk size ?
by Julien Heyman 07 Apr '11

07 Apr '11

Hello, I am using Fiasco.OC/L4Re/L4Linux on a Beagleboard. After having successfully used/customized the L4Linux ramdisk provided as part of the snapshot, I created a larger ramdisk (8Mb instead of ~3Mb) from scratch and adjusted the "ramdisk_size" option on the linux boot args line in my LUA script, and rebuilt my u-boot image. I then get plenty of errors during linux boot, starting with: RAMDISK: ext2 filesystem found at block 0 RAMDISK: Loading 8000KiB [1 disk] into ram disk... l4linux1| Non-resolvable page fault at e0d1619, ip 170384. l4linux1| Page fault (non-resolved): pfa=e0d1619 pc=170384 l4linux1| Non-resolvable page fault at e0d161a, ip 170384. Internal error: Boom!: 410005 [#1] etc... My questions: - is there a specific way to create a ramdisk file for l4linux, and/or specific constraints on the ramdisk size ? - am I missing other configuration parameters than ramdisk_size that should be adjusted to reflect the larger ramdisk size ? Thanks, Julien

3 5

How to block an API call without blocking server message loop?
by Valery V. Sedletski 05 Apr '11

05 Apr '11

Hi all. When an L4 server is started, its main thread goes into the server loop and blocks until a message from a client is received. When a message is received, a server loop calls a dispatch function, which calls functions, specific to RPC opcodes. The problem is that if one of these functions is blocked, the whole server loop is blocked. In my case, I am implementing an API, which is called by a client program. This API starts a child process, and has an option to block the calling program, until the child is terminated. This API is called DosExecPgm(). So, the client program calls this API, then the API call blocks, and then the child must be executed, and finally, call another API, which is called DosExit(). But when DosExecPgm is called, the server loop is blocked, and it cannot receive a message for calling the next API, DosExit. I tried to implement API call blocking using a semaphore. DosExecPgm from a parent process is waiting on the semaphore, and DosExit from a child process reset the semaphore. So, the problem is with server loop blocking. So, I thought to make for DosExecPgm a dedicated server loop. which is blocked, but the main server loop continues to execute. But how to correctly make these server loops? There are many API's which can block, so, what can I do if not to dedicate a separate loop for each function? And, if there are many server loops, then there will be many threads executing them, so I must to register each thread on the name server. -- Then how can the calling program determine, which server thread to call for each API? I feel that these problems have common solutions, but i'm in trouble -- maybe, someone will help with finding these common solutions? Thanks in advance, WBR, valery

2 5

Build errors in building L4re for ARM
by Rahul Ramasubramanian 04 Apr '11

04 Apr '11

Hi I was trying to build l4re and ran into rather strange compilation errors. The code where the error is trowing up is in ../src/l4/pkg/bootstrap/server/src/startup.cc The relevant part of the error log looks like make[5]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/l4rebuild/pkg/libvbus/lib/src/OBJ-arm_armv6zk-l4f' ==> "libcxx_libc_io_e.a" built ==> Installing libcxx_libc_io.a to local build-tree ==> Installing libcxx_libc_io_e.a to local build-tree make[5]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/l4rebuild/pkg/cxx_libc_io/lib/src/OBJ-arm_armv6zk-l4f' make[4]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/cxx_libc_io/lib/src' make[3]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/cxx_libc_io/lib' make[2]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/cxx_libc_io' ... Compiling ios_failure.o make[5]: Entering directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/l4rebuild/pkg/libvbus/lib/src/OBJ-arm_armv6zk-l4f' ... Compiling vbus.o ... Compiling module.o ... Compiling ARCH-arm/crt0.o ... Compiling vbus_pci.o ... Compiling region.o ... Compiling ios_init.o ... Compiling vbus_gpio.o === Building package "libkproxy" === ... Compiling startup.o make[2]: Entering directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/libkproxy' arm-none-linux-gnueabi-g++: Mar: No such file or directory arm-none-linux-gnueabi-g++: 31: No such file or directory arm-none-linux-gnueabi-g++: 18:28:52: No such file or directory arm-none-linux-gnueabi-g++: EDT: No such file or directory arm-none-linux-gnueabi-g++: 2011": No such file or directory <command-line>: warning: missing terminating " character /home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/bootstrap/server/src/startup.cc:1054: error: missing terminating " character ... Compiling vbus_i2c.o make[5]: *** [startup.o] Error 1 make[5]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/l4rebuild/pkg/bootstrap/server/src/OBJ-arm_armv6zk' make[4]: *** [/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/l4rebuild/pkg/bootstrap/server/src/OBJ-arm_armv6zk] Error 2 make[4]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/bootstrap/server/src' make[3]: *** [src] Error 2 make[3]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/bootstrap/server' make[2]: *** [server] Error 2 make[2]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/bootstrap' make[1]: *** [bootstrap] Error 2 make[1]: *** Waiting for unfinished jobs.... ... Compiling ios-inst.o The toolcahin I am using is arm-linux-gcc-4.3.2.tgz, which I downloaded from some embedded system user group (www.friendlyarm.net) I think that this maybe has something to the toolchain. Can anyone point out why this error is and what i should do to fix this error . Thanks and Regards Rahul Ramasubramanian

2 3

Question about Mapping DB Recursion Depth on Fiasco.OC
by Christoph Szeppek 24 Mar '11

24 Mar '11

Hello, as far as I understand, the mapping database consists of a treemap with an entry for each superpage. Each entry points to an array describing the page's mappings (mapping tree). Each element of this mapping tree either represents a mapping or stores the address of a treemap, if the superpage has been splitted into pieces with a size of the next smaller valid page size. Is it correct that an element of a mapping tree references another treemap only in case the page has been spllitted and therefor the maximum recursion depth is limited by the amount of valid page sizes? Christoph

3 2

Customizing L4Linux, on ARM/Beagleboard
by Julien Heyman 24 Mar '11

24 Mar '11

Hello everyone, I would appreciate getting some advice as to the proper way to customize and rebuild an L4Linux kernel. I am testing Fiasco.OC/L4Re/L4Linux on a Beagleboard (ARM), I installed everything from the latest snapshot package, full build is fine, and launching the provided L4Linux "arm-up" kernel on my Beagleboard is ok. Now, to customize the configuration of the L4Linux kernel, I did "*make O=../../obj/l4linux/arm-up menuconfig*" from *\src\l4linux* directory, adjusted a few options, saved & exited, so far so good. Then I try to rebuild the L4Linux kernel using "*make O=../../obj/l4linux/arm-up*", and I get: *"<path...>/src/l4linux is not clean, please run 'make mrproper' in the '<path...>/src/l4linux' directory."* So I do just that, * <path..>/src/l4linux$ make O=../../obj/l4linux/arm-up mrproper* but : - it ends with an error *"rm: cannot remove `arch/l4/include/asm/orig-arch': Is a directory"* - as expected, it wipes out a lot of things in the target build directory, including... the *.config* corresponding to my customized kernel....back to square one. I must be missing something trivial, so if someone could point it out to me... ;) Regards, Julien

3 4

Help on write first client-server on Fiasco
by Wenhao Xu 23 Mar '11

23 Mar '11

Hi guys, I am new to both microkernel and fiasco. All I read were some microkenel paper in the operating system course. After reading introduction to FIasco, I am very insterested in it. I have just compiled and run the hello demo in the Fiasco web page. Now I cannot wait to write my own client-server. I have never written an operating system before. Can you help me or give me some guide on how to write my first client-server in Fiasco? And are there window manager implementation or file system implementation for Fiasco? If not, I am also very interested in write one for Fiasco. Thanks very much for the help. Regards, Wenhao -- ~_~

2 1

Fiasco.OC on amd64 Opteron 6000
by Daniel Waddington 16 Mar '11

16 Mar '11

Hi, I'm trying to run Fiasco.OC amd64 build on an Opteron 6100 magny-cours series (4-way-SMP, 12-cores-per-chip). When it boots it is as if the scheduling interrupt on the local APIC is not getting set up correctly. It also warns about some errata. It does boot with MP disabled, and RTC for the scheduling - not much use on a 48-core machine though ;-) Any clues??? Thanks, Daniel --- Per_cpu_data_alloc: (orig: 0xfffffffff0080840-0xfffffffff0081498) Allocate 3160 bytes (3KB) for CPU[43] local storage (offset=fc887c0) OSVW_MSR1 = 0x000000000000000c #Errata known 4, affected by at least one Allocate cpu_mem @ 0xffffffffffd0b000 Local APIC[19]: version=10 max_lvt=5 APIC ESR value before/after enabling: 00000000/00000000 Using the Local APIC timer on vector 90 (Periodic Mode) for scheduling CPU[43:25]: AuthenticAMD (10:9:1:0)[00100f91] Model: Unknown CPU at 2200 MHz 32/512 Entry I TLB (4K pages) 16 Entry I TLB (4M pages) 48/512 Entry D TLB (4K pages) 48/128 Entry D TLB (4M pages) 64 KB L1 I Cache (2-way associative, 64 bytes per line) 64 KB L1 D Cache (2-way associative, 64 bytes per line) 512 KB L2 U Cache (8-way associative, 64 bytes per line) 10240 KB L3 U Cache (13-way associative, 64 bytes per line) CPU[43]: goes to idle loop

3 2

L4Re + Bytecode Translation
by Michael Brooks 16 Mar '11

16 Mar '11

I think it would be very interesting if the L4 Runtime Environment adopted a bytecode translator like the one implemented in Parrot VM<http://parrot.org/> or Nested VM <http://nestedvm.ibex.org/>. This feature would mean that L4 could support MANY LANGUAGES <http://trac.parrot.org/parrot/wiki/Languages> natively. So L4 would not only the ability to boot up a wide selection of operating systems, but also support for a wide selection of runtime environments. --Michael Brooks

1 0

L4Linux - Freescale i.MX51 Bebbage Board - vmlinuz.arm wanted
by Siegfried Podesser 15 Mar '11

15 Mar '11

Hello everyone, I'm just trying since nearly a week to compile L4Linux. But neither the SVN-copy nor the snapshot (l4re-snapshot-2011022209) compiles at all. Before I will explain what I've already tried, my main question, can someone here send me a correct build vmlinuz.arm file ? What have I already tried: _'_'_'_'_'_L4 Linux from SVN _'_'_'_'_'_'_'_' 1. checked it out :) -> svn co http://svn.tudos.org/repos/oc/l4linux/trunk l4linux 2. kernel configuration and building -> make ARCH=arm mx51_defconfig O=build (or make ARCH=l4 mx51_defconfig O=build with recopying mx51_defconfig) -> make ARCH=arm all CROSS_COMPILE=arm-none-linux-gnueabi- O=build produces in any case a missing .config.all error where I have no idea how to produce/get it -->... make[3]: *** No rule to make target `/.config.all', needed by `/home/beresford/Work-Repositories/sepia/l4linux/build/Makeconf.l4conf'. Stop. make[2]: *** [/home/beresford/Work-Repositories/sepia/l4linux/build/Makeconf.l4conf] Error 2 GEN /home/beresford/Work-Repositories/sepia/l4linux/build/Makefile scripts/kconfig/conf --silentoldconfig Kconfig make[2]: *** No rule to make target `/.config.all', needed by `/home/beresford/Work-Repositories/sepia/l4linux/build/Makeconf.l4conf'. Stop. make[1]: *** [check_linux_config] Error 1 make: *** [sub-make] Error 2 _'_'_'_'_'_L4 Linux from snapshot file _'_'_'_'_'_'_'_' or with the snapshot in general (means for the existing realview platform and not for the mx51, just to see if it builds at least) 1. checked it out -> wget http://os.inf.tu-dresden.de/download/snapshots-oc/l4re-snapshot-2011022209.… 2. -> wget http://os.inf.tu-dresden.de/download/ramdisk-arm.rd für die ramdisk.arm 3. then unzipped 4. then I've tried it exactly as Wesley Miaw posted on Jan 4.1.11 with GCC_PATH_PREFIX=/opt/sourcery-g++-lite/bin/arm-none-linux-gnueabi- L4ARCH=arm make setup -> selected ARM realview make cd obj/l4linux/arm-up make arm_defconfig make menuconfig -> set L4 build path obj/l4/arm-rv -> set cross compile prefix arm-none-linux-gnueabi- -> turned on ARM EABI + old EABI binaries options make the last step does not build at all: ... /home/beresford/Work-Repositories/sepia/l4re-snapshot-2011022209/src/l4linux/include/linux/math64.h:51:15: note: each undeclared identifier is reported only once for each function it appears in In file included from /home/beresford/Work-Repositories/sepia/l4re-snapshot-2011022209/src/l4linux/include/linux/mm_types.h:11:0, from /home/beresford/Work-Repositories/sepia/l4re-snapshot-2011022209/src/l4linux/include/linux/sched.h:63, from /home/beresford/Work-Repositories/sepia/l4re-snapshot-2011022209/src/l4linux/arch/l4/kernel/../../arm/kernel/asm-offsets.c:13, from /home/beresford/Work-Repositories/sepia/l4re-snapshot-2011022209/src/l4linux/arch/l4/kernel/asm-offsets.c:5: /home/beresford/Work-Repositories/sepia/l4re-snapshot-2011022209/src/l4linux/include/linux/rwsem.h: At top level: /home/beresford/Work-Repositories/sepia/l4re-snapshot-2011022209/src/l4linux/include/linux/rwsem.h:22:65: fatal error: asm/rwsem.h: No such file or directory compilation terminated. make[3]: *** [arch/l4/kernel/asm-offsets.s] Error 1 make[2]: *** [prepare0] Error 2 make[1]: *** [sub-make] Error 2 make: *** [all] Error 2 Maybe someone has an idea. My development platform: Gentoo Linux 64bit, 2.6.37-rc1, GCC 4.5.2, arm-none-linux-gnueabi-... version (Sourcery G++ Lite 2010.09-50) 4.5.1 Thank you :) siegfried

3 4

IPC performance comparison of Fiasco.OC and Pistachio
by Jaeyeon Kang 11 Mar '11

11 Mar '11

Hello, I have a question about IPC performance of Fiasco.OC and Pistachio. When I compared the performance for a pingpong benchmark, Pistachio provides better performance than Fiasco.OC (about 1.5 times faster). Is there anyone who can explain the reasons that Fiasco.OC's IPC is slower compared to Pistachio? Thanks, Jaeyeon

2 1

Samsung R&D - Full-time OS Researcher Position
by Daniel Waddington 10 Mar '11

10 Mar '11

Samsung R&D, San Jose - CA, is recruiting full-time researchers in the area of Operating Systems (OS) for future cyber-physical systems. We are looking for individuals with a passion for systems research and the desire to follow through from concept to pre-transition prototype. Position: Full-time Researcher for the Systems Research Group Summary: The Systems Research Group is developing new OS and software platform designs that can meet the needs of future computing platforms based on multicore, manycore and cloud technologies. We are currently developing a solution based on L4 microkernel technology that will readily scale from sensors-to-servers, whilst providing advanced support for transparent distributed processing, Quality-of-Service (QoS) guarantees for co-located real-time and best-effort applications, and the "first-class" integration of parallel programming technologies. We are looking for highly motivated and creative individuals to join the San Jose research team and to augment existing system research expertise. This is an excellent opportunity to join a new team advancing state-of-the-art software technologies for Samsung's current and future business. Duties and Responsibilities: . Research and develop micro-kernel based solutions for next generation products. . Research and develop innovative technologies to directly address scalability limitations of existing solutions. . Research and develop ideas around the single-system image concept. . Research and develop new ideas in OS-level and language-level support for heterogeneous processor platforms. . Develop ideas around the support of fine-grained resource management and QoS monitoring, policing and adaptation in the context of real-time cyber-physical applications. . Build proof-of-concept prototypes. . Write research papers and technical articles publishing work and results in top-tier conferences and journals. Necessary Skills/Attributes: . Ph.D. in Computer Science or related area with 0-5 years of practical experience. . A track record in OS research pertaining to the above areas of interest with high-quality publications in the field. . Hands-on experience with low-level systems prototyping and development - a true hacker at heart. . Proficiency with C/C++ and Linux-based development including multi-threaded programming. . Excellent communication and team working skills are required with a willingness to work with an international team to deliver an integrated solution. . A willingness to learn new things and take on new challenges. Desirable Skills/Attributes: . Experience with L4 or other similar microkernel technology (e.g., QNX, Integrity) . Experience with embedded systems development. . Experience building OS sub-systems such as memory managers, and task schedulers. . Experience with the use of machine-learning to drive system optimization. . Experience with distributed and parallel computing. . Experience developing on TILE processors and programming with TILE assembly. . Experience developing on ARM processors and programming with ARM assembly. Contact: Please send resumes and enquiries to Dr. Daniel Waddington (d.waddington(a)samsung.com)

1 0

Re: Genode OS framework and kernel-specific features
by Valery V. Sedletski 09 Mar '11

09 Mar '11

On Sun, 06 Mar 2011 09:29:52 +1200 (MSK), Valery V. Sedletski wrote: > >PS: maybe, offtopic, but I'm in trouble a bit. > Already googled the Linux Framebuffer HOWTO and several articles. It seems that vesafb will not work for me (I have Matrox G400 card, on which I get a message "Cannot set vga mode, press Enter..." when booting Linux. Also, it supports VESA 2.0, but GRUB sees only modes not higher than 800x600). I also found some drivers in ./kernel/drivers/video/matrox, will check them.

3 6

Can L4 modules be accessed as files from L4Linux?
by Dan Haim 07 Mar '11

07 Mar '11

Hi, I'm trying to find a solution to the following scenario - I want to have an L4Linux instance running (from a CD) where the root filesystem is several hundred MB's big, so it is not feasible to run it from a ramdisk (the filesystem is larger than the amount of RAM available) - I need to run it directly from the CD. A possible solution I'm thinkning about is to give the L4Linux instance access to the CD-ROM drive, then store a SquashFS image as a file on the drive and UnionFS it with a tmpfs when the system starts. Now here's the catch - While this solution may technically work, it is still not 'good enough' because I can't give the L4Linux instance direct access to the CD-ROM drive - I need to have it completely isolated so a user working on the L4Linux instance will not have access to any files stored on the CD (other than the SquashFS image) even if he/she has root access over the L4Linux instance. I was thinking - is it possible to specify the SquashFS image as an L4 module and then somehow mount it from within L4Linux in-place (i.e. without completely loading it to RAM)? Is there any other way to accomplish what's needed in this scenario? Thank you all, Dan.

2 2

Genode OS framework and kernel-specific features
by Valery V. Sedletski 05 Mar '11

05 Mar '11

Hi all. I am now giving a try to the Genode OS framework. I like it's concepts and ideas and its elegant design, and maybe, will migrate to it eventually. -- I was developing an OS/2 clone based on Fiasco microkernel and l4env. Now they're discontinued. So, I must probably, migrate to something else. The most probable candidates are L4Re or Genode. I like Genode because of its kernel-neutrality (It can work on any L4 flavour, it is very attractive feature) and has interesting ideas regarding the scalability and capability to build a hierarchy of subsystems, minimising the application-specific Trusted Computing Bases. So, as I understood, it abstracts the kernel specifics from a developer. But in some cases, it can be desirable to make some kernel-specific implementations. For example, Fiasco kernel based on l4v2 API has 'segments' feature which, for example, is actively used by L4Linux. We use this feature too. One of our objectives is a binary compatibility with existing OS/2 applications. And OS/2 application ABI includes a convention that FS register for Ring3 application, holds a selector of a structure named Thread Info Block. Though the application can obtain this structure by calling an DosGetInfoBlocks() API, the C startup code generated by many compilers, relies on the convention that FS must contain the TIB selector. So, if we try to implement this feature on L4, we must have the means to allocate GDT selectors and get the allocated selector. On Fiasco, this can be done by filling the registers in a special way and issuing a 'LLDT' instruction, or, by calling a fiasco_gdt_set() function, and get the allocated selector by fiasco_gdt_get_entry_offset() (which is the same, but through a 'l4sys' package). On Fiasco.OC, this can be done similar way (not through LLDT instruction, though). My question is: Can be the underlying kernel determined under Genode, and then try doing kernel-specific things? Or, maybe, there is a more elegant way to do kernel-specific things? Thanks in advance, valery. PS: On Pistachio, as I heard, the application also can operate on GDT selectors, but this possibility has even more limitations. (It seems, only LDT selectors can be altered, but not GDT ones, or something)

2 2

Compiling l4re for BeagleBoard
by Ivan Bludov 04 Mar '11

04 Mar '11

Hello, I'm trying to compile l4re for ARM (beagleboard). I used the cross-toolchain for AMR (from CodeSourcery and toolchain downloaded from your site), but I got errors during making configuration of l4 : =========================================================== set -e; X="tmp.$$$RANDOM.c" ; echo 'int main(void){}'>$X ; \ rm -f $X.out ; LD_PRELOAD=libgendep.so LD_LIBRARY_PATH=/home/ibludov/Downloads/l4re-snapshot-2011022209.0/src/l4/build/tool/gendep/64: GENDEP_SOURCE=$X \ GENDEP_OUTPUT=$X.out arm-linux-gcc -c $X -o $X.o; \ test -e $X.out; echo INT_CPP_NAME=`cat $X.out` \ >>/home/ibludov/Downloads/l4re-snapshot-2011022209.0/src/l4/build/.config.all; \ rm -f $X $X.{o,out}; ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded: ignored. ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded: ignored. ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded: ignored. ============================================================ These errors appear only when I use the arm-linux compiler and do not appear when I use host compiler. Is it a problem of toolchan or some other system libraries? Can you make some advise to fix it? Ivan Bludov

2 1

thread creation help
by Jason Philip 27 Feb '11

27 Feb '11

Can someone tell me how to create a thread (in the same address space as the creating thread)? This very confusing to me, I need help.

3 5

Announcement: Genode 11.02 with support for both NOVA v0.3 and Fiasco.OC
by Norman Feske 24 Feb '11

24 Feb '11

Dear L4 hackers, I am pleased to announce the release of the version 11.02 of the Genode OS Framework. Genode is an OS architecture that promises to align high security and robustness with dynamic application workloads. The Genode OS Framework as the reference implementation of this architecture. With the new version 11.02, we enabled the framework to be used with the Fiasco.OC kernel developed at TU Dresden in addition to the already supported base platforms L4/Fiasco, L4ka::Pistachio, Linux, OKL4v2, Codezero, and NOVA. Furthermore, we upgraded the NOVA support to version 0.3, which was published earlier this month. So now, both current kernel developments at TU Dresden are fully embraced by the framework. We are grateful for the excellent support we got from Alexander Warg and Udo Steinberg. Alongside the expanded platform support, the new release features many improvements, the most prominent being - Fiasco.OC as new base platform - Running Genode natively on MicroBlaze CPUs - Support for version 0.3 of the NOVA hypervisor - Noux execution environment for GNU userland software - Base framework - Core resource accounting using guarded allocators - Protocol enhancements for upgrading session quotas - Qt4 updated to version 4.7.1 - New tooling support for automated integration and testing Please find a more elaborative description of the changes accompanied with a lot of background information in the release notes of version 11.02: http://genode.org/documentation/release-notes/11.02 The new version is ready for download at our download page at Sourceforge and our public SVN repository: http://genode.org/download Best Regards -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0