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
11chapter "Threads"
12
13theory Thread_H
14imports
15  ThreadDecls_H
16  CSpace_H
17  "./$L4V_ARCH/ArchThread_H"
18  FaultHandler_H
19  Config_H
20begin
21
22context Arch begin
23
24requalify_consts
25  activateIdleThread
26  configureIdleThread
27  switchToIdleThread
28  switchToThread
29
30context begin global_naming global
31
32requalify_consts
33  ThreadDecls_H.configureIdleThread
34  ThreadDecls_H.switchToIdleThread
35  ThreadDecls_H.switchToThread
36
37end
38
39end
40
41context begin interpretation Arch .
42
43requalify_consts
44  capRegister
45
46end
47
48#INCLUDE_HASKELL SEL4/Kernel/Thread.lhs Arch=Arch bodies_only NOT doNormalTransfer doIPCTransfer doReplyTransfer doNormalTransfer transferCaps transferCapsToSlots
49
50#INCLUDE_HASKELL SEL4/Kernel/Thread.lhs Arch=Arch ONLY transferCapsToSlots
51
52#INCLUDE_HASKELL SEL4/Kernel/Thread.lhs Arch=Arch bodies_only ONLY doNormalTransfer doIPCTransfer doReplyTransfer doNormalTransfer transferCaps
53
54end
55