#
dac7a00e |
|
26-Aug-2018 |
Ilya Yanok <ilya.yanok@gmail.com> |
haskell: explicitly import Prelude hiding Word everywhere where it can clash with Word type defined by SEL4.
|
#
fa8fc7de |
|
15-Jul-2016 |
Rafal Kolanski <rafal.kolanski@nicta.com.au> |
haskell: arch-specific faults + split VMFault -> ArchFault Hypervisor extensions add extra fault types which are entirely arch-specific. While the concept of a VM fault exists on all platforms, these faults are also arch-specific. This change adds an ArchFault datatype and constructor to the generic Faults and Failures, and moves VMFault into ArchFault for the ARM platform. NOTE: fault indices have changed (generic goes before arch) as per the changes needed for SELFOUR-413, which is the seL4 C equivalent of this commit.
|
#
b2a1ff6a |
|
15-Jun-2016 |
Rafal Kolanski <rafal.kolanski@nicta.com.au> |
arm-hyp haskell: VSpace compiles with enabled SMMU (stubbed IO for the moment)
|
#
c92baf74 |
|
15-Jul-2016 |
Rafal Kolanski <rafal.kolanski@nicta.com.au> |
Haskell: arch-specific faults + split VMFault -> ArchFault + ReservedIRQ Hypervisor extensions add extra fault types which are entirely arch-specific. While the concept of a VM fault exists on all platforms, these faults are also arch-specific. This change adds an ArchFault datatype and constructor to the generic Faults and Failures, and moves VMFault into ArchFault for the ARM platform. NOTE: fault indices have changed (generic goes before arch) as per the changes needed for SELFOUR-413, which is the seL4 C equivalent of this commit. * add arch faults and failures to SEL4.cabal * introduce and handle IRQReserved On ARM this does nothing, but on other platforms reserved IRQs are actually used. * split TCB into ArchTCB (userContext) * changing ArchFault to make haskell-translator to work tags: [VER-623][SELFOUR-413]
|
#
ebc7cbe5 |
|
23-May-2016 |
Japheth Lim <Japheth.Lim@nicta.com.au> |
haskell: move Haskell kernel into spec/
|