History log of /seL4-l4v-10.1.1/l4v/spec/haskell/src/SEL4/Machine/Hardware/ARM/Exynos4210.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.
# 796887d9 11-Jul-2017 Alejandro Gomez-Londono <alejandro.gomez@nicta.com.au>

Removes all trailing whitespaces
# ebc7cbe5 23-May-2016 Japheth Lim <Japheth.Lim@nicta.com.au>

haskell: move Haskell kernel into spec/