History log of /seL4-l4v-10.1.1/l4v/spec/haskell/configure
Revision Date Author Comments
# ebc7cbe5 23-May-2016 Japheth Lim <Japheth.Lim@nicta.com.au>

haskell: move Haskell kernel into spec/