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-… [View More]

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 … [View More]

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 … [View More]

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 … [View More]

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

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