Universität Karlsruhe (TH) 
  Department of Computer Science 
 System Architecture Group 
  Home About Us Teaching Research Power Management P2P L4Ka Project Search  
  About Publications Downloads Related Projects Team L4hq.org  
 
Projects
Pistachio
Kickstart
Download
Virtualization
Pre-virtualization
Device Drivers
Multiprocessor
Marzipan
BurnNT
Download
IDL4
Release Notes
Documentation
Download
Persistence
Hazelnut
Download
Getting started
 
Miscellaneous
Mailing lists
Tools
VMwareGateway
Workshops
Google L4Ka.org:
 
 

L4Ka::Hazelnut/ARM

Supported Hardware

The L4Ka::Hazelnut kernel runs on StrongARM (SA1100,SA110) and ARM7 (EP7211) processors.

For ARM development we use these evaluation boards:

  • Intel's Brutus Evaluation Board (StrongARM 1100)
  • Digital's DNARD (StrongARM 110)
  • Cirrus Logic's EDB7211 Evaluation Board (EP7211, ARM7)
  • Compaq iPAQ
    •  Unfortunately we have no real ARM-based killer applications (like L4Linux on x86). Thus all testing still has a quite academic touch.

    Although the system call path for ARM is not optimized yet, first rough performance measurements look promising.

    Booting L4Ka::Hazelnut on ARM-evaluation boards (EP7211, Brutus)

    Most ARM evaluation boards use the Angel boot loader. Angel supports downloading binary images to physical memory and jumping to a certain address via a serial line protocol.
    To boot L4Ka::Hazelnut we generate one binary image containing an elf-decoder and all images which have to be started. At startup the decoder copies the sections of all binaries into memory, configures the kernel info page and starts the kernel.
    Angelboot can be downloaded here.
       
     
     
     
      Mail to webmaster   © 2000-2010 University of Karlsruhe