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/ia32

The L4Ka Hazelnut kernel runs on all commodity x86 systems (Intel Pentium or higher, AMD Athlon or higher) and on VMWare.

We make use of the following x86 features:

  • Super-Pages (4MB)
  • SysEnter/Exit (PII and higher)
  • Global Bit for kernel memory (PII and higher)
  • APIC/IO-APIC if available
    • We started adding SMP support for x86 systems. Currently, we can migrate threads and send IPC. ex_regs and task deletion are still open problems.

    Minimum memory requirement is 64 MByte and we support up to 256 MByte of RAM (currently hard coded but no design limit).

       
     
     
     
      Mail to webmaster   © 2000-2010 University of Karlsruhe