1104640Simp(*
252506Simp * Copyright 2014, General Dynamics C4 Systems
352506Simp *
4139749Simp * This software may be distributed and modified according to the terms of
552506Simp * the GNU General Public License version 2. Note that NO WARRANTY is provided.
652506Simp * See "LICENSE_GPLv2.txt" for details.
752506Simp *
852506Simp * @TAG(GD_GPL)
952506Simp *)
1052506Simp
1152506Simp(*
1252506Simp    Kernel state and kernel monads, imports everything that SEL4.Model needs.
1352506Simp*)
1452506Simp
1552506Simpchapter "Architecture Specific Kernel State and Monads"
1652506Simp
1752506Simptheory ArchStateData_H
1852506Simpimports
1952506Simp  Arch_Structs_B
2052506Simp  ArchTypes_H
2152506Simp  ArchStructures_H
2252506Simpbegin
2352506Simp
2452506Simpcontext Arch begin global_naming X64_H
2552506Simp
2652506Simp#INCLUDE_HASKELL SEL4/Model/StateData/X64.lhs CONTEXT X64_H NOT X64VSpaceRegionUse
2752506Simp
2852506Simpend
2952506Simpend
3052506Simp