Thomas Sewell
d629f07efe
New assertion about mapping sizes to be flushed.
2015-07-14 14:15:27 +10:00
Joel Beeren
cf53dfa1e7
removed setCurrentASID
2015-05-27 13:05:28 +10:00
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
Gerwin Klein
2f08fce48b
haskell: make latex document build
2015-05-22 15:17:08 +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
Gerwin Klein
2d4d520c77
haskell: removed Lyrebird target
...
Consolidating to one simulator to get simulator builds running again. The
source setup is still for multiple potential targets so it remains reasonably
easy to add different architectures like x86 to the Haskell model if needed.
2014-12-11 16:03:10 +11:00
Gerwin Klein
713387ed03
haskell: removed outdated platforms
...
HaskellCPU and Alpha implementations have fallen far behind the current
kernel structure, haven't been used for years, and are not included in
the build.
Removing them to avoid confusion.
2014-12-04 09:44:15 +11:00
Gerwin Klein
a5e34f6e59
add support for XN attribute in Haskell
2014-11-26 12:44:06 +11:00
Gerwin Klein
d066331c6f
changes for warning-free build with GHC 7.8.3
2014-11-23 15:30:19 +11:00
Joel Beeren
ec02c27ea7
ioapic: fix haskell for new 14 bit FSR
2014-09-02 16:22:40 +10:00
Joel Beeren
ec5ff930a3
ioapic: reverted setIRQState change
2014-09-02 16:22:40 +10:00
Joel Beeren
d15d15ce14
ioapic: trivial: modified definition of toBool
2014-09-02 16:22:40 +10:00
Joel Beeren
3695d22b18
ioapic: refactored C code and first attempt at haskell spec
2014-09-02 16:22:40 +10:00
Gerwin Klein
3ffeaac26d
Retire old dft package; resurrect Haskell manual.
...
Text is still out of date, but the document builds.
Added out-of-date warning text.
2014-07-19 15:55:06 +02:00
Gerwin Klein
2a5504b3f0
removed ancient arch tags
2014-07-19 10:48:49 +02:00
Gerwin Klein
1d0b002548
Sync Haskell code with C
2014-07-18 18:04:45 +02:00
Gerwin Klein
d3053fb72d
add getpaddr changes to haskell (by Joel Beeren)
2014-07-18 17:46:59 +02:00
TrusthworthySystems
91b7da8625
Release snapshot
2014-07-18 05:03:59 +10:00
