L4 on iPAQ

[Dominik Gummel]

> You have to compile your own version of Hazelnut specifically for the
> iPaq. The Brutus board is not compatible (the memory layout is
> different).
Which board type is right for the ipaq? dnard?
I've build a hazelnut-kernel from cvs-sources, but it doesn't work, too.

I think there's a problem with the bootloader.
What bootloader did you use?


greets,
dominik


-- 
Universität des Saarlandes
Department for Computer Science, Cryptography and Security
Dominik Gummel              email: bofh at krypt.cs.uni-sb.de
Building 45, Room 536     Im Stadtwald,D-66123 Saarbrücken
Tel.: +49(681)302-5608    Fax.: +49(681)302 4631     Fu  0172-6916265
public key http://www-krypt.cs.uni-sb.de/~bofh
Fingerprint 5057 7FD9 A0DB 5B92 F1A2  46C1 0070 6200 AAE1 98A9