> -----Original Message-----
> From: Christian Stüble [mailto:stueble@cs.uni-sb.de]
> Sent: Friday, November 08, 2002 5:01 PM
> To: l4-hackers(a)os.inf.tu-dresden.de
> Subject: L4 on iPAQ question
>
> we just got some iPAQ 3870 Handhelds (very nice
> little devices :-) and I will try to port PERSEUS
> to it. Obviously, I should start with installing
> L4 onto it. But I don't know more than that I
> have installed the bootldr Bootloader that can
> boot images from Serial or CF (installing plain
> linux works well). Has someone else tried to
> install L4 on iPAQ and can give me hints
> how to do it? If not, what should I do first?
> What should I read?
Christian,
the current version of Hazelnut supposedly works on the iPaq. I used it on the one I have here which is a 3630 model with 32MB RAM. You explicitly load the arm-booter image to address 0xC1000000 and then jump to this address. It loads the elf images and starts the kernel. Currently, the kernel supports serial line as debug output device. But be aware that there are unsolved issues like IRQ handling.
> Next, L4Linux has to be ported to the StrongARM.
> Is there a L4Linux/ARM available somewhere? Is
> someone working on it or has a student that can
> do it?
AFAIK, there is no L4Linux port to ARM. I did a not-yet-released port of Linux 2.4 to L4 for x86 which currently runs on Pistachio, Hazelnut and thanks to Adam on FIASCO. Based on that you could start an ARM adaptation. Adam started to factor out the x86 and L4 API dependencies to make the code base more reusable, but the x86 dependencies are still tremendous. The former port of L4Linux to MIPS started a completely new Linux hardware architecture. Thus, I do not have a clear idea how much architecture dependencies will show up, but I expect a lot. I mean a lot!!!
I do not know anybody who currently plans to do an ARM port nor do we have any resources to do it. Maybe the Dresden group???
- Volkmar