Next:
6.1 Definitions of Terms
Up:
Building Infrastructure for DROPS
Previous:
5.3 Package Dependencies
Index
6
Systems, Architectures and Modes
This section describes how to build for multiple architectures and for multiple target systems.
Subsections
6
.
1
Definitions of Terms
6
.
2
File System Representation
6
.
3
Compilation for Multiple Systems
6
.
4
Specifying the Systems to build
6
.
5
Modes
Examples
6
.
6
Defining new architectures and modes
L4 Checker 2012-04-11
