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> module SEL4.Model (
12>         module SEL4.Model.PSpace,
13>         module SEL4.Model.StateData,
14>         module SEL4.Model.Failures,
15>         module SEL4.Model.Preemption,
16>         module SEL4.Model.Syscall,
17>     ) where
18
19> import SEL4.Model.PSpace
20> import SEL4.Model.StateData
21> import SEL4.Model.Failures
22> import SEL4.Model.Preemption
23> import SEL4.Model.Syscall
24
25
26