Joel Beeren
e8ef76fe0f
Minor change to haskell implementation of armv_contextSwitch
2015-05-27 13:05:27 +10:00
Joel Beeren
4625b65433
Changed haskell kernel to match new fastpath homogenisation changes
2015-05-27 13:05:27 +10:00
Joel Beeren
4ccf65ef74
Forced bitfield proofs to use preprocessed bf files
2015-05-27 13:05:27 +10:00
Adrian Danis
682374dbef
arm: Rearrange context switching code to make fastpath and regular code not duplicate functionality
2015-05-27 13:05:27 +10:00
Gerwin Klein
d223dba24f
haskell: build server complained about lack of scalable font
2015-05-22 22:02:38 +10:00
Gerwin Klein
ae0614e09a
haskell: cabal install dependencies into the sandbox
2015-05-22 15:23:27 +10:00
Gerwin Klein
a31443e0c4
haskell: simpler build setup, so we can use cabal sandboxes
2015-05-22 15:19:36 +10:00
Gerwin Klein
570306e1b6
.gitignore: move Haskell ignores to their own file
2015-05-22 15:18:22 +10:00
Gerwin Klein
2f08fce48b
haskell: make latex document build
2015-05-22 15:17:08 +10:00
Matthew Fernandez
0b8627b012
Trivial: Fix comment typo.
2015-05-20 12:17:26 +10:00
Gerwin Klein
0d0eb5c868
haskell: tuned boot info docs
2015-05-19 19:24:43 +10:00
Gao Xin
f854c130f3
fix spelling of FIXME and license tag
2015-05-19 19:23:06 +10:00
Gao Xin
6e6e471381
noInitFailure replaces liftE
2015-05-19 19:23:06 +10:00
Xin,Gao
51222516bd
explict KernelInitState
2015-05-19 19:23:06 +10:00
Xin,Gao
0eea292555
minor change for haskell translator
2015-05-19 19:23:06 +10:00
Xin,Gao
e26cef4074
expose more api and make haskell translator happy
2015-05-19 19:23:06 +10:00
Gao Xin
4fa55b1ef4
some adjustments based on old version 3725
2015-05-19 19:23:06 +10:00
Gao Xin
8664ae4a18
init commit for imx31-new-qemu support
2015-05-19 19:23:06 +10:00
Anna Lyons
f5afc2d917
change include/arch/ia32/arch/api/objecttype.h to match the libsel4 equivalent
2015-05-15 14:43:24 +10:00
Adrian Danis
b97c75ffb4
Move arch independent object definitions to common location
2015-05-14 09:42:19 +10:00
Adrian Danis
ae52b9eb02
Make reply and cnode caps the same on x86 and ARM and move to common structures file
2015-05-14 09:42:19 +10:00
Adrian Danis
9f812d695a
Make async endpoint caps the same on x86 and ARM and move to common structures file
2015-05-14 09:42:19 +10:00
Adrian Danis
dd4372e9c4
Make endpoint caps the same on x86 and ARM and move to common structures file
2015-05-14 09:42:19 +10:00
Adrian Danis
f65ff11956
Make cap types that are exactly the same on ARM and x86 defined in a common location
2015-05-14 09:42:18 +10:00
Adrian Danis
952e5a272b
Add ability to set a human readable thread name when running kernel in debug mode
2015-05-14 09:32:58 +10:00
Adrian Danis
fc1e413e5b
ia32: Move many assembly operations from .S file into inline assembly
2015-05-13 17:00:26 +10:00
Gerwin Klein
1a568e764a
remove generated adglobs type
...
It's become obsolete after correspongin Isabelle C parser change.
2015-05-09 06:46:31 +10:00
Adrian Danis
69f37863aa
Trivial: style
2015-05-04 11:50:48 +10:00
Tim Newsham
7bd0da5533
am335x: setup clock and enable dmtimer3
2015-05-04 11:46:06 +10:00
Adrian Danis
e581882c3c
trivial: style
2015-04-17 13:52:37 +10:00
Sean Peters
8abdf6c5ed
ia32: added the option to disable prefetchers
2015-04-15 14:38:55 +10:00
Sean Peters
efcacb55ba
split the types header into basic and compound to resolve circular dependencies
2015-04-15 11:57:08 +10:00
Gerwin Klein
5ddff6cf22
add Tim Newsham and Robbie Van Vossen to contributor list
2015-04-01 11:58:31 +11:00
Gerwin Klein
60ed681095
CONTRIBUTING.md file for github
2015-04-01 11:47:42 +11:00
akroh
a5f61c7166
ARM: Fix hardcoded CPSR value for the idle thread
2015-03-23 10:34:08 +11:00
Tim Newsham
092b2c1f35
am335x: allow UART to be used even in debug mode
2015-03-19 15:48:49 +11:00
akroh
5ef85de0c1
Fix user access for VCNT
2015-03-19 12:03:56 +11:00
Matthew Fernandez
de935520cf
ARM: Add some debugging error printfs for failed PD lookup during page map.
...
This helps more easily diagnose the case where a lookup failure from a page map
is not caused by a failure to lookup the page cap, but a failure to lookup the
PD cap. No effect on verification.
2015-03-18 17:11:27 +11:00
Adrian Danis
12990f2092
libsel4: Updating xml specification for syscall stub changes
2015-03-12 16:06:58 +11:00
Adrian Danis
a9111d4b5d
libsel4: Support multiple struct types for the generated syscall stubs
2015-03-10 15:12:06 +11:00
Matthew Fernandez
4f12acd270
ARM: Map the initial thread's IPC buffer and boot info as non-executable.
...
Note that this also required some irrelevant x86 changes to match function
arguments.
2015-03-09 14:16:37 +11:00
Matthew Fernandez
86751e48f4
ARM: Set the XN bit on kernel mappings that do not need to be executable.
...
This covers the kernel stack, globals frame and device memory. We shouldn't be
executing in any of these pages, so functionality should be unaffected. This is
primarily a debugging aid.
2015-03-09 14:16:37 +11:00
Matthew Fernandez
3775341b9b
libsel4: Remove unused right seL4_Transfer_Mint.
2015-03-04 15:42:16 +11:00
akroh
b62b20f24d
ARM: Add config options for exporting PMU and ARM generic timer physical count registers to PL0
2015-02-24 11:15:46 +11:00
Tim Newsham
ec4ff01f05
- fix am335x spurious interrupt issue
2015-02-23 10:29:23 +11:00
Matthew Fernandez
0233f5c411
manual: Fix missing init thread domain in boot info.
2015-02-18 11:35:05 +11:00
Matthew Fernandez
4e2d71aa02
manual: Fix spelling of init domain cap slot constant.
2015-02-18 11:35:05 +11:00
Adrian Danis
cb250d4c5e
Trivial:style
2015-02-17 17:05:06 +11:00
Adrian Danis
e7c9885f35
ia32: Rework the notion of isValidVTableRoot to be a check for what is permissable for a TCB to contain in its VTableRoot, and create a new isValidNativeRoot to be a check for whether a capability is a PD or PDPT that can be directly run. VTableRoots that are not native would be something like EPT if using vtx
2015-02-17 16:43:30 +11:00
Adrian Danis
f2ac14f12f
arm: Rename BI_CAP_IT_PD to BI_CAP_IT_VSPACE to match x86 and common boot code
2015-02-17 10:44:41 +11:00
