- l4-hackers - example.com Site

Building l4con lib and examples
by Adi Lima 15 Dec '11

15 Dec '11

Hi, I've been trying to build l4con/lib (actually what I need is libcon.a), but unfortunately I never be able to do it. I am using *l4re-snapshot-2011081207*, which I believe is the latest release. When I check the Makefiles inside the source tree, I found a few commented lines in client_con and contxt directory contains no sources (apparently the sources are being placed inside src directory). Is this package still active or will be removed in the future? Or, is there any way for me to build the package? I need libcon.a to build some test. Thanks. -- FX. J. Adi Lima Trivision Studio

2 1

Need help on l4_msgtag_has_error
by Chen Tian 10 Dec '11

10 Dec '11

Hello, Can some one tell me when a msg tag is set to the error code i.e., tag = 0x8000 ? I have a parent thread A, which creates a child thread B, and thread C is assigned as B's pager and exception handler. When thread A destroys B via l4_task_unmap, thread C is invoked and the tag returned from ipc_reply_and_wait cannot pass l4_msgtag_has_error check. This is very weird. When B dies, will it generate some sort of exceptions which will cause C to be invoked? If I ask thread C to ignore this IPC message, it seems fine because thread B is anyway destroyed. But I am still wondering if I did something logically wrong or the tag error can be safely ignored, especially in the situation I described above? Thanks. Chen

3 3

Using fbterminal with L4Con
by Adi Lima 08 Dec '11

08 Dec '11

Hi all, I finally able to run fbterminal after a bit struggling with some confusions, modifying example: x86-fb.cfg and replacing* ex_fb_spectrum* with * fbterminal* doesn't seem to work if we don't add "term = term:svr()" into fbterminal's caps, where term is defined as: term = loader:new_channel(). But now I want to put this terminal into L4Con, but don't know how to do it. L4con seem to accept different caps list compare to mag. The console appear, but the fbterminal doesn't. Someone help me please...? I attached my current test configuration... Do I miss something? -- FX. J. Adi Lima Trivision Studio

2 1

Cannot show fbterminal
by Adi Lima 06 Dec '11

06 Dec '11

Hi, I've been trying all day launching fbterminal using plain example x86-fb.cfg, and only replace ex_fb_spectrum with fbterminal, following suggestion from Adam (i found it in some old thread). Unfortunately I can't see any mag window for the fbterminal, maybe it failed to create one, or somethin else happened, but if I add a second mag window, containing ex_fb_spectrum, it shows. What do I miss? -- FX. J. Adi Lima Trivision Studio

2 1

l4shmnet bug fixed
by Matthias Petschick 01 Dec '11

01 Dec '11

Hello, there was a small bug in L4Linux's L4shm based network driver, which broke the driver on architectures where NET_IP_ALIGN != 0, e.g. on ARM. This resulted in insufficient data being allocated for the skb in l4x_l4shmc_interrupt, causing the subsequent skb_put to fail. See attached diff for details. Cheers, Matthias

2 1

Minimal Fiasco Testing Setup
by Bryce Cronkite-Ratcliff 01 Dec '11

01 Dec '11

Hi, I have a modified version of Fiasco, & I'd like to compare the performance of this modified kernel vs the original kernel. To that end, what is the minimal module set to provide a workable testing environment? I currently build L4-Linux Mag target, but I'd like to have as minimal a testing setup as possible -- perhaps just Fiasco, L4re, necessary services, and a terminal? Thanks! __Bryce

2 1

shmc bug fixes
by Stefan Fritsch 01 Dec '11

01 Dec '11

Hi, attached are some fixes for shmc: - fix various capability slot leaks in error paths - if l4re_ns_register_obj_srv() fails, return its error code to the caller and don't invent another one - use memory barriers in l4shmc_add_chunk() because l4shmc_get_chunk_to() walks the linked list without acquiring the lock - fix l4shmc_add_signal() freeing one of env's capabilities in an error path Cheers, Stefan

2 1

Getty over L4 shared memory
by Julian Vetter 01 Dec '11

01 Dec '11

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hello All, is there a driver that does the same as the L4Shmnet driver but for serial console? I want to setup a communication between two Linux instances, one should provide a getty-service and the other instance should connect to it.. Thanks in advance. Cheers, Julian -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iQEcBAEBAgAGBQJO1OxrAAoJEOpGAeJlWp7qFmgIAJ7CZNIBQaNdn1s12p6fy9Rx OMGpKDkp2w/kgD6VZCxj7enzAFo/Z66YwiIVihKe00SM+13tllSr3AbRKWbhpa5F 33iFyI7wAnUnS3Y31DfOleMHlo2ekX7CoLQcD3yq3iuyB61XJRwQLMMY80gZ4dsS u6MFPNBplkG+pl0FuBS7sYXhasZefxB17Cikz/DHI+4ALt/lOQfKcO/Im36fLnoh YR1d0IfY7C9n8e5zNRkOT25KRHl1udJl/Uo14tYxYV/gyWU5jEwzq2tmfqMdZ71M E/sQmSRC68jOrJ1uWNfnz9qGdExNVSuXnR2JspcaeyR356jTIiXpSe0+E9OWZ18= =teF7 -----END PGP SIGNATURE-----

3 3

Genode OS Framework 11.11 released
by Stefan Kalkowski 29 Nov '11

29 Nov '11

Dear L4 hackers, we're pleased to announce the release of version 11.11 of the Genode OS Framework. Genode is an OS architecture that promises to align high security and robustness with dynamic application workloads. It is laid out to run on a number of different microkernels including Nova and Fiasco.OC. To name a few, version 11.11 features GDB debugging facility, the integration of the Vancouver virtual machine monitor, the support of running Android based on the work of the L4Android project, and the ability to execute complex command-line based UNIX software (i.e., VIM) natively on Genode. A short summary of the release-notes follows: * Support for user-level debugging via GDB * Applications and services * Vancouver virtual machine monitor on NOVA * VIM executed on the Noux runtime environment * Terminal emulator implementing the Linux termcap * TCP terminal * Platforms * Fiasco.OC updated to rev 38 * NOVA updated to version 0.4 * New IPC implementation for Linux * Improved support for hybrid Linux/Genode programs * L4Linux on Fiasco.OC * Integration of L4Android (for both x86_32 and ARM) * Stub drivers for block devices, NIC, UART * Device drivers * gPXE device driver environment upgraded to iPXE * Bidirectional UART driver for PL011 and i8250 * PL110 display driver * Support for ARM Versatile Express Cortex-A9x4 * Libc update to FreeBSD 8.2.0 * New unified tool chain based on GCC 4.6.1 You will find a more elaborative discussion of those topics in our comprehensive release-notes document for version 11.11: http://genode.org/documentation/release-notes/11.11 The new version is ready for download at our download page at Sourceforge and our public SVN repository: http://genode.org/download Regards -- Stefan Kalkowski 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

Could not run L4Linux for testing
by Adi Lima 27 Nov '11

27 Nov '11

Hi, I was successfully build L4/Fiasco kernel, and run a few test including Hello World, and also compile and test my own simple program, but I'm having trouble running L4Linux (using kernel 3.0). Actually the kernel was loaded, but when the system execute /bin/sh inside the ramdisk-x86.rd (I get it from the snapshot), it says that it cannot access tty, and then the job control being turn off. I've been trying to follow the example from previous release, but they use rmgr, bmodfs, etc, which I could find on the new release. I've also tried the example from L4Linux Page<http://141.76.48.99/L4/LinuxOnL4/use.shtml>, but it doesn't work. Can you help with the initialization routine? Maybe some example? Thanks. -- FX. J. Adi Lima Trivision Studio

2 1