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