l4-hackers May 2011

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

16 participants
17 discussions

Twl4030 over I2C at BB clone with Fiasco.
by Vasily Sartakov 10 Jun '11

10 Jun '11

Hello. I would like a use twl4030 usb on my BB clone board - devkit8000 and i have some question about it. For do it, shell i add platform initialisation from linux arm/mach-omap2/board-devkit8000 to l4l/arch/l4/kernel/arch-arm ? then change .config to use omap devices, like omap-i2c, twl4030 etc? Thanks -- Sartakov A. Vasily

2 2

utcb's address in Fiasco.OC
by Chen Tian 01 Jun '11

01 Jun '11

Hi, Where is the utcb's address of a thread is stored? If I implement a user level thread context switch (i.e., change the contents in registers EIP/ESP and general purpose registers), will a thread lose its utcb pointer? Thanks. Best, Chen

2 1

kmem_alloc: out of kernel memory
by David Silcott 30 May '11

30 May '11

Hi, I've synced my local copy of Pistachio against the latest available and now all of my builds are reporting an out of memory error when I try to run any application, even pingpong or memtest KickStart 0.13.06 Detected multiboot compliant loader kernel (0x00824000-0x0090ad41) => 0x001ef4d0 (0x00824000-0x0083f388) -> 0x00100000-0x0011b388 (0x00840000-0x00840028) -> 0x0011c000-0x0011c028 (0x00841000-0x0084a376) -> 0x0011d000-0x00126376 (0x0084b000-0x008ef0c0) -> 0x00127000-0x001cb0c0 (0x008f0000-0x008f4338) -> 0x001ec000-0x001f0338 sigma0 (0x0090b000-0x0092eb24) => 0x00020000 (0x0090c000-0x00915524) -> 0x00020000-0x00029524 roottask (0x0092f000-0x0093d424) => 0x00400000 (0x00930000-0x00935044) -> 0x00400000-0x00405044 Launching kernel ... L4Ka::Pistachio - built on May 28 2011 21:39:10 by david@andesite using gcc version 3.3.6 --- "KD# kmem_alloc: out of kernel memory" --- --------------------------------- (eip=f010909c, esp=00000000) --- A query of the memory statistics reveals the following: /stats> kmem Kernel memory statistics: Chunk size = 1024 bytes Free chunks = 2 (2KB) Consecutive Number of chunks matches 1 2 2 1 4 0 8 0 16 0 32 0 64 0 128 0 256 0 512 0 1024+ 0 Max consecutive chunks: 2 I get the same results even if I explicitly pass memory values to kickstart: maxmem=1G kmem=128M I have tried several versions of GCC with 3.3.6 being the last but all have reported some form of 'out of memory' error and the error occurs both on qemu and on a physical machine. The processor and memory spcecs of my machine are: CPU: Intel Core 2 duo Memory: 4G Can anyone see what I am doing wrong? I didn't have this problem before updated pistachio I have attached a copy of my config.out file. Regards David

1 1

Genode OS Framework 11.05 released
by Stefan Kalkowski 26 May '11

26 May '11

Dear L4 hackers, we are pleased to announce the release of version 11.05 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 and Linux. After bringing Genode on top of Fiasco.OC with the last release, the new version comprises a lot of new features, and refinements with respect to Fiasco.OC, in particular: * Shared libraries * Signalling framework * ARM RealView PBX-A9 support * x86 64-bit support Moreover, we enabled L4Linux to run on top of Genode. Beside these functionality improvements, we discovered a way to seamlessly integrate Fiasco.OC's and L4Linux build process into Genode's build system. Thereby we drastically simplified the process of developing for Genode/Fiasco.OC. Alongside the improved support of the Fiasco.OC kernel, the new release implies a bunch of new features, and improvements, like: * New API for type-safe inter-process communication * New experimental GDB support * Device-I/O support for MicroBlaze platform * ARM RealView PBX device drivers for input, display, network, and sdcard * New ready-to-use scripts for easy test-driving of various Genode features such as Qt4, lwIP, Noux, L4Linux, GDB Please find a more elaborative description of the changes accompanied with a lot of background information in the release notes of version 11.05: http://genode.org/documentation/release-notes/11.05 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

Questions about Pistachio
by Gregory 26 May '11

26 May '11

I am experimenting with l4 pistachio and i seem to be running into some rather weird problems. 1) when i attempt to create a thread, my thread creation code does seem to work if it is in "main()" however if i move the code into another function an call that function from main, the code works. What happens is that if I attempt to create a thread from "main" when i call "L4_ThreadControl()" the function returns an error value (which is found to be '6'), which indicates that the the UTCB location is invalid. However, the latter does not happen when the exact same thread creation code is in a different function. Now this does not bother me that much, as long as i can still successfully create threads, but, i am a bit curious as to why this happens. 2) the piece of code that i use to create threads (derived from the l4test app), obtains the utcb location of new thread looks like this: L4_Word_t root_utcb = *(*L4_Word_t)&root_local_id; root_utcb &= ~(L4_UtcbAreaSize(kip) - 1); L4_Word_t new_utcb = root_utcb + (L4_UtcbSize(kip) * (L4_ThreadNo(new_tid) - L4_ThreadNo(root_tid))); Now this piece of code works, but, i do not understand why the second line is needed if the local thread id is already equal to the utcb location. Why is this needed? 3) I cannot seem to receive interrupt IPCs. I have seen no code built on pistachio that handle interrupts thus far, so my code looks like this: L4_Thread_t irq; //simple handler function that simply acknowledges the interrupt ipc void handler_func(void) { printf("the handler has been called\n"); L4_Msg_t msg; L4_MsgTag_t tag; L4_Clear(&msg); L4_Load(&msg); tag = L4_Send(irq, L4_TimePeriod(1000000)); if(L4_IpcFailed(tag)) /*prints out the error. ">>1" is used to remove propagation bit printf("the ipc failed with error [%d]", (int)L4_ErrorCode()>>1); } int main() { ... //initialization, etc irq = L4_GlobalId(1,1); //in hopes of getting the keyboard interrupt L4_AssociateInterrupt(irq, handler); //the handler thread is setup ealier L4_Sleep(L4_Never); //so that the code doesn't exit } this piece of code prints out: the handler has been called the ipc failed with error [1] Which base on the v4 reference manual mean "timeout, from is defined in this case". Also if i "sleep" for less than L4_Never the kernel crashes and reports that there is an invalid opcode. Where am i going wrong?

1 1

Pager in the Fiasco.OC.
by Chen Tian 25 May '11

25 May '11

Hello, After a pager resolves a page fault in user space, I assume the reply message, which contains the mapping, should be processed in the kernel (e.g., update page table etc.). Am I right? If so, where can I find the corresponding implementation? Thanks. Best, Chen

2 1

building L4 x86 on cygwin
by joel nider 23 May '11

23 May '11

Hi, I'm trying to build l4 on cygwin (windows) for x86. I have built binutils 2.21 and gcc 4.5.2 as cross-compilers (--target=i386-elf). When I try to build l4, I pass SYSTEM_TARGET=i386-elf- as a parameter to 'make'. Preprocessing seems to complete successfully, but compilation fails on the first file (kip.cpp). The error message is: src/kernel/fiasco/src/types/types.h:4:20: fatal error: stddef.h: No such file or directory My question is - what is missing? Do I need to build glibc? Or did I miss something while installing my gcc? Thanks in advance, Joel

2 1

information on interrupt thread convention
by Jason Phillips 21 May '11

21 May '11

hi all, does the interrupt number of interrupt thread correspond to IRQ number? So thread-id for IRQ2 is 0x00008001?

2 9

Freeze L4-thread of Fiasco.OC
by Ivan Bludov 20 May '11

20 May '11

Hello, I intend to freeze some l4-thread from another thread on Fiasco.OC. What have I use for doing this? By investigation I discover that it could be done by l4_thread_schedule on L4Env of Fiasco in past. But this function is obsolete in L4Re. I suggest that process can be frozen by other way. Could you make some advice how to do it? Regards, Ivan Bludov

2 1

JVM port for Fiasco.OC/L4Re
by Nuno Santos 17 May '11

17 May '11

Hello I'd like to ask if you are aware of a JVM port to run natively on Fiasco.OC/L4Re. Apparently, there is a port of Kaffe to DROPS, but its last version is from 2008 and it seems to be stale at the moment. Thank you very much, --Nuno Santos

2 1

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 May 2011