1(*
2 * Copyright 2014, General Dynamics C4 Systems
3 *
4 * This software may be distributed and modified according to the terms of
5 * the GNU General Public License version 2. Note that NO WARRANTY is provided.
6 * See "LICENSE_GPLv2.txt" for details.
7 *
8 * @TAG(GD_GPL)
9 *)
10
11(*
12    Kernel state and kernel monads, imports everything that SEL4.Model needs.
13*)
14
15chapter "Architecture Specific Kernel State and Monads"
16
17theory ArchStateData_H
18imports
19  Arch_Structs_B
20  ArchTypes_H
21  ArchStructures_H
22begin
23context Arch begin global_naming ARM_H
24
25#INCLUDE_HASKELL SEL4/Model/StateData/ARM.lhs CONTEXT ARM_H NOT ArmVSpaceRegionUse
26
27end
28
29end
30