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
23
24context Arch begin global_naming X64_H
25
26#INCLUDE_HASKELL SEL4/Model/StateData/X64.lhs CONTEXT X64_H NOT X64VSpaceRegionUse
27
28end
29end
30