l4-hackers March 2006

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

19 participants
14 discussions

L4::Pistachio ARM GNU toolchain
by Shakthi Kannan 08 Mar '06

08 Mar '06

Greetings! I have downloaded pistachio-0.4.tar.bz2. I would like to know which GNU ARM toolchain needs to be used to cross-compile the above for ARM. Thanks, SK -- Shakthi Kannan, MS Software Engineer, Hexaware Technologies [E]: shakthimaan(a)yahoo.com [M]: (91) 98407-87007 [W]: http://www.shakthimaan.com [L]: Chennai, India __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com

1 0

l4linux-2.6 build error
by Sungkwan Heo 07 Mar '06

07 Mar '06

Hi all, Though I had some hard time to run l4linux-2.6, I still get build error. When I build l4linux-2.6, the following error occured. As far as I know, a global variable (xtime) was defined twice. First, l4/pkg/generic_io/lib/clientlib/ARCH-x86/io_info.S Second, some header file included in l4linux-2.6/kernel/sysctl.c Any suggestion will help me much! $ cd l4linux-2.6 $ make menuconfig ... $ make ... CC arch/l4/l4lxlib/l4env/task.o CC arch/l4/l4lxlib/l4env/thread.o AR arch/l4/l4lxlib/l4env/lib.a GEN .version CHK include/linux/compile.h UPD include/linux/compile.h CC init/version.o LD init/built-in.o LD .tmp_vmlinux1 /home/drops/l4linux-2.6-env/l4/lib/x86_586/l4v2/libio.a(io_info.o)(.ros pace+0xc): In function `xtime': : multiple definition of `xtime' kernel/built-in.o(.bss+0x9650):/home/drops/l4linux-2.6-env/l4linux-2.6/ kernel/sysctl.c:1666: first defined here make: *** [.tmp_vmlinux1] Error 1 $

2 4

make hello stops with an error
by Delitsyn Igor 03 Mar '06

03 Mar '06

Hi, I try to compile L4 kernel on x86 just to start with, but ¨make hello¨ results in an error in linking as follows: /usr/bin/ld: cannot find -lroot.o I was unable to locate this module manually. Any ideas? Thanks for taking a look at it. Best regards, Igor

3 2

Re: PowerPC interrupt setup
by Kay-Uwe.Genz 03 Mar '06

03 Mar '06

Hi Joshua, hi @ all, I start this year with first experiments in implementation of an kernel (based on L4.X2) on PowerPC, mostly to learn more about PowerPC/HW and design philosophies. So I read your posting with attention and have some questions ... and hope your answers would made it easier for my to understand. You recommend "enabling virtual addressing immediatly". Did I understand it right, that you use virtual memory in kernel mode? Is this only for protection or means this, the kernel memory is vitual? There are other kernels using virtual memory in kernel mode? My design doesn't have a kernel section in the tasks address space (on 32 bit machines a task is 4GB). I agonise to solve some of the problems with this design. In the case StringItems used to send Msg's from one space to another (means copy the information in the kernel) the message buffer on both sides can scattered and located across page bounderies. Handling this seems easier if the kernel has the same view to memory and pionters to memory regions (buffers) but this destroy my approach of lockfreeness, because the String Buffers in different tasks can by overlap or locate at the same virtual adress. (The sendphase of StringItems should by interruptable and at any time it should by possible to handle as much as possible StrinItem sends in the same time.) Handling this in kernel with the view of real memory avoid overlapping buffer regions from different threads. Do you see the issue like I and is there a solution I didn't see? As I see on the homepage, the kernel runs on a G3 (aka PPC750). So you use the normal hardware table search? Thanks for helping. Regards Kay-Uwe. Am 07.02.2006 um 17:35 schrieb Joshua LeVasseur: > > The PowerPC jumps to predefined code locations when delivering > interrupts and traps, starting at 0x100 (with virtual addressing > disabled). You only need to install code at those locations; > PowerPC has no interrupt descriptors. I recommend enabling virtual > addressing immediately, even while handling page faults; I've seen > other kernels implement excessive logic in assembler, executing in > physical mode; that isn't necessary. I enable virtual addressing > within 19 or so instructions. > > Maybe try volume 3 here: > http://www-128.ibm.com/developerworks/eserver/articles/archguide.html > I've never read those documents; I used the 603 architecture manual > when porting L4Ka::Pistachio. > > Consider reading about how I made my L4Ka::Pistachio PowerPC > implementation frigging fast: > http://l4ka.org/projects/pistachio/powerpc/ppc.pdf > It covers: > - Fast system calls (without wasting a register for a system call > number, unlike all other kernels out there that I've seen) > - Fast address space ID management (the way ASIDs were meant to be > managed on the PowerPC, and again, the other kernels out there are > doing it wrong) > - Fast page hash management. Most kernels perform O(n) searches > through the page hash when manually locating an entry. I instead > perform O(1) lookups. > > I recommend that you avoid looking at open source kernels for > guidance. They don't push the limits of PowerPC. > > -Josh > > > > On Feb 7, 2006, at 16:18, Matthias Lange wrote: > >> Hi, >> >> I am stuck with porting the Fiasco microkernel to PowerPC. I can't >> find any clear documentation about how to setup a interrupt >> description table. So, these are my questions: >> >> 1. How is an interrupt descriptor formed on PowerPC? How does it >> look? >> 2. Where (in memory) do I need to store these descriptors? >> >> The IBM PowerPC Programming Manual gives me a good overview but no >> information on how to implement it. Can someone please point me to >> some meaningful documentation? >> >> Regards, >> >> Matthias. >> > > >

2 2

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 March 2006