Operating Systems · Institute for System Architecture · Dept. of CS · TU Dresden

L4/Fiasco and L4Env for Open Trusted Computing (OpenTC)




Latest snapshot: 2008/04/15
  • L4/Fiasco with IPC monitor
  • L4Linux 2.6.24
  • L4Env with hierarchical task management
  • prototype BMSI, Lyon, TPM
package list
instructions
Changelog
source-2008-04-15.tar.bz2 (61MB) binary-2008-04-15.tar.bz2 (55MB)
Demo Package including Disk Image l4env-snap-demo-2008-04-15.img.gz (118 MB)
snapshot: 2007/09/30
  • L4/Fiasco with IPC-Mon support
  • L4Linux 2.6.22
  • L4Env and hierarchical task management
package list
instructions
source-2007-09-30.tar.bz2 (59MB) binary-2007-09-30.tar.bz2 (38MB)
Demo Package including Disk Image no release
snapshot: 2007/06/30
  • L4/Fiasco with IPC-Mon support
  • L4Linux 2.6.21
  • L4Env
package list
instructions
source-2007-06-30.tar.bz2 (57MB) binary-2007-06-30.tar.bz2 (33MB)
Demo Package including Disk Image demo-2007-06-30.tar.bz2 (28MB)
Snapshot: 2007/02/28
  • L4/Fiasco with IPC-Mon support
  • L4Linux 2.6.19
  • L4Env
package list
instructions
source-2007-02-28.tar.bz2 (52MB) binary-2007-02-28.tar.bz2 (30MB)
Disk Image, L4Linux with Ore l4lx-ore-image-20070228.gz (26MB)
Snapshot: 2006/10/16
  • L4/Fiasco with IPC-Mon support
  • L4Linux 2.6.18
  • L4Env
package list
instructions
source-20061016-p3.tar.bz2 (50MB) binary-20061016-p3.tar.bz2 (25MB)
Disk Image, L4Linux with Ore l4lx-ore-image-20061016-p3.gz (24MB)
Snapshot: 2006/06/30
L4/Fiasco, L4Linux 2.6.17 and L4Env package list
instructions
source.tar.bz2 (50MB) binary.tar.bz2 (27MB)
Disk Image, L4Linux with Ore l4lx-ore_image.bz2 (20MB)
Snapshot: 2006/03/31
L4/Fiasco, L4Linux 2.6.16 and L4Env package list
instructions
source.tar.bz2 (50MB) binary.tar.bz2 (27MB)
Disk Image, L4Linux with Ore l4lx-ore_image.gz (14MB)

GCC 3.4 for OpenSUSE 10.1.

Prebuilt RPM packages gcc 3.4 from SUSE : RPMs of SUSE hosted by SUSE
If the first link does not work, use this copy of the RPMs. RPMs of SUSE hosted by us
14. Apr 2008
· Copyright © 2001-2010 Operating Systems Group, TU Dresden | Impressum ·