2014-07-17 19:03:59 +00:00
|
|
|
--
|
|
|
|
|
-- Copyright 2014, General Dynamics C4 Systems
|
|
|
|
|
--
|
|
|
|
|
-- This software may be distributed and modified according to the terms of
|
|
|
|
|
-- the GNU General Public License version 2. Note that NO WARRANTY is provided.
|
|
|
|
|
-- See "LICENSE_GPLv2.txt" for details.
|
|
|
|
|
--
|
|
|
|
|
-- @TAG(GD_GPL)
|
|
|
|
|
--
|
|
|
|
|
|
2015-05-22 05:19:36 +00:00
|
|
|
name: SEL4-ARM
|
2014-11-20 06:53:54 +00:00
|
|
|
version: 1.4-pre
|
2015-05-22 05:19:36 +00:00
|
|
|
cabal-version: >= 1.20
|
2016-01-28 07:54:11 +00:00
|
|
|
build-type: Custom
|
2015-05-22 05:19:36 +00:00
|
|
|
license: GPL
|
2014-12-11 04:57:56 +00:00
|
|
|
author: Philip Derrin et. al., NICTA
|
2014-07-17 19:03:59 +00:00
|
|
|
synopsis: Executable specification for the seL4 Kernel
|
2014-11-20 06:53:54 +00:00
|
|
|
tested-with: GHC == 7.8.3
|
2014-07-17 19:03:59 +00:00
|
|
|
|
|
|
|
|
Flag FFI
|
|
|
|
|
description: Include the C language bindings
|
|
|
|
|
default: True
|
|
|
|
|
|
|
|
|
|
Library
|
|
|
|
|
exposed-modules: SEL4
|
|
|
|
|
SEL4.Machine.Target
|
|
|
|
|
|
2014-12-23 03:27:04 +00:00
|
|
|
build-depends: mtl==2.1.3.1, base, array, containers
|
2014-07-17 19:03:59 +00:00
|
|
|
if flag(FFI)
|
|
|
|
|
-- be fixed.
|
|
|
|
|
build-depends: unix
|
|
|
|
|
exposed-modules: Simulation.FFIBindings
|
|
|
|
|
include-dirs: include
|
|
|
|
|
install-includes: sel4model.h
|
|
|
|
|
dist/build/Simulation/FFIBindings_stub.h
|
|
|
|
|
|
|
|
|
|
other-modules: SEL4.API
|
|
|
|
|
SEL4.API.Syscall
|
|
|
|
|
SEL4.API.Faults
|
|
|
|
|
SEL4.API.Failures
|
|
|
|
|
SEL4.API.Types
|
|
|
|
|
SEL4.API.Types.Universal
|
|
|
|
|
SEL4.API.Invocation
|
2016-01-28 07:54:11 +00:00
|
|
|
SEL4.API.InvocationLabels
|
2014-07-17 19:03:59 +00:00
|
|
|
SEL4.Kernel
|
2014-12-23 03:27:04 +00:00
|
|
|
SEL4.Kernel.BootInfo
|
2014-07-17 19:03:59 +00:00
|
|
|
SEL4.Kernel.VSpace
|
|
|
|
|
SEL4.Kernel.CSpace
|
|
|
|
|
SEL4.Kernel.Init
|
|
|
|
|
SEL4.Kernel.Thread
|
|
|
|
|
SEL4.Kernel.FaultHandler
|
|
|
|
|
SEL4.Object
|
|
|
|
|
SEL4.Object.ObjectType
|
|
|
|
|
SEL4.Object.CNode
|
|
|
|
|
SEL4.Object.Endpoint
|
|
|
|
|
SEL4.Object.TCB
|
|
|
|
|
SEL4.Object.Instances
|
|
|
|
|
SEL4.Object.Structures
|
|
|
|
|
SEL4.Object.Interrupt
|
2015-10-19 22:55:03 +00:00
|
|
|
SEL4.Object.Notification
|
2014-07-17 19:03:59 +00:00
|
|
|
SEL4.Object.Untyped
|
|
|
|
|
SEL4.Model
|
|
|
|
|
SEL4.Model.StateData
|
|
|
|
|
SEL4.Model.PSpace
|
|
|
|
|
SEL4.Model.Failures
|
|
|
|
|
SEL4.Model.Preemption
|
|
|
|
|
SEL4.Model.Syscall
|
|
|
|
|
SEL4.Machine
|
|
|
|
|
SEL4.Machine.RegisterSet
|
|
|
|
|
SEL4.Machine.Hardware
|
|
|
|
|
SEL4.Config
|
|
|
|
|
Data.BinaryTree
|
|
|
|
|
Data.Helpers
|
|
|
|
|
|
2015-05-22 05:19:36 +00:00
|
|
|
SEL4.Machine.Hardware.ARM.QEmu
|
2016-01-28 07:54:11 +00:00
|
|
|
-- SEL4.Machine.Hardware.ARM.KZM
|
|
|
|
|
-- SEL4.Machine.Hardware.ARM.Exynos4210
|
|
|
|
|
-- SEL4.Machine.Hardware.ARM.Sabre
|
2015-05-22 05:19:36 +00:00
|
|
|
|
|
|
|
|
SEL4.API.Types.ARM
|
2016-01-28 07:54:11 +00:00
|
|
|
SEL4.API.InvocationLabels.ARM
|
2015-05-22 05:19:36 +00:00
|
|
|
SEL4.API.Invocation.ARM
|
|
|
|
|
SEL4.Kernel.VSpace.ARM
|
|
|
|
|
SEL4.Kernel.Thread.ARM
|
|
|
|
|
SEL4.Object.ObjectType.ARM
|
|
|
|
|
SEL4.Object.Structures.ARM
|
|
|
|
|
SEL4.Object.Interrupt.ARM
|
|
|
|
|
SEL4.Object.Instances.ARM
|
|
|
|
|
SEL4.Object.TCB.ARM
|
|
|
|
|
SEL4.Model.StateData.ARM
|
|
|
|
|
SEL4.Machine.RegisterSet.ARM
|
|
|
|
|
SEL4.Machine.Hardware.ARM
|
|
|
|
|
|
2014-07-17 19:03:59 +00:00
|
|
|
|
|
|
|
|
hs-source-dirs: src
|
2015-02-27 06:02:36 +00:00
|
|
|
ghc-prof-options: -auto-all -fprof-auto
|
2014-07-17 19:03:59 +00:00
|
|
|
ghc-options: -Wall -Werror -O2 -fno-warn-unused-do-bind
|
|
|
|
|
-fno-warn-missing-signatures -fno-warn-orphans
|
|
|
|
|
-fno-spec-constr -fno-warn-name-shadowing
|
|
|
|
|
-fno-warn-unrecognised-pragmas
|
|
|
|
|
-fno-warn-unused-binds
|
2015-05-22 05:19:36 +00:00
|
|
|
|
|
|
|
|
cpp-options:
|
2016-01-28 07:54:11 +00:00
|
|
|
-- set via Setup.hs hook
|
|
|
|
|
|
2015-02-27 06:02:36 +00:00
|
|
|
Default-Language: Haskell98
|
2014-07-17 19:03:59 +00:00
|
|
|
|
