History log of /seL4-l4v-10.1.1/l4v/spec/haskell/src/SEL4/Object/Interrupt/RISCV64.hs
Revision Date Author Comments
# 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.


# f1069582 13-Jun-2018 Rafal Kolanski <rafal.kolanski@nicta.com.au>

riscv haskell: update arch thread and interrupt


# 7f06c5eb 12-Jun-2018 Rafal Kolanski <rafal.kolanski@nicta.com.au>

riscv haskell: minimum compiling skeleton

All functions and datatypes required by generic code are supplied in
stubbed out or placeholder form, and anything not required is missing.

The code compiles (make build-riscv), please let's keep it that way.

Look for the "FIXME RISCV" tag, which is the official FIXME tag for this
project.