Commit Graph

  • 19da73321f add an 'experimental branch' warning Gerwin Klein 2014-07-21 10:53:39 +02:00
  • eeb93562df removed haskell/ dir in experimental branch Gerwin Klein 2014-07-21 10:46:02 +02:00
  • 357e8672de Fix incorrect merge from f4d124a Adrian Danis 2014-07-21 11:01:40 +10:00
  • b83be5179c Trivial: style Adrian Danis 2014-07-21 10:54:39 +10:00
  • c88fc248b5 Fix incorrect merge from f4d124a Adrian Danis 2014-07-21 10:47:40 +10:00
  • ec013e31d0 trivial: style Adrian Danis 2014-07-21 10:46:24 +10:00
  • bcfc173296 Merge branch 'master' into experimental Adrian Danis 2014-07-21 09:39:17 +10:00
  • 185f22bc3c Add license header Adrian Danis 2014-07-21 09:38:36 +10:00
  • f4d124a64a Merge branch 'master' into experimental Adrian Danis 2014-07-21 09:37:17 +10:00
  • 3ffeaac26d Retire old dft package; resurrect Haskell manual. Gerwin Klein 2014-07-19 10:54:29 +02:00
  • 6f5a367010 add .gitignore Gerwin Klein 2014-07-19 15:02:32 +02:00
  • 2a5504b3f0 removed ancient arch tags Gerwin Klein 2014-07-19 10:11:41 +02:00
  • 1d0b002548 Sync Haskell code with C Gerwin Klein 2014-07-18 18:04:45 +02:00
  • d3053fb72d add getpaddr changes to haskell (by Joel Beeren) Gerwin Klein 2014-07-18 17:46:59 +02:00
  • e62d407c83 Merge branch 'getpaddr' Gerwin Klein 2014-07-18 17:37:52 +02:00
  • 24fa2a2998 Remove logo; clean up copyright marking. Gerwin Klein 2014-07-18 09:32:05 +02:00
  • 54cade4c32 adjust LICENSE file name to header reference. Gerwin Klein 2014-07-18 09:24:29 +02:00
  • 2732406e98 Recomment of branch getpaddr on release snapshot Adrian Danis 2014-07-18 15:11:53 +10:00
  • fad4707817 Merge branch 'master' into arm_hyp Adrian Danis 2014-07-18 14:49:54 +10:00
  • a318446f8c Recommit of arm_hyp branch on release snapshot TrustworthySystems 2014-07-08 13:37:40 +10:00
  • 99b2b2562c Merge pull request #5 from adanis/a15errata Adrian Danis 2014-07-18 11:38:58 +10:00
  • 43e1a215bb arm: Add work around for errata on some Cortex-A15 boards and move errata checking to C code Adrian Danis 2014-07-16 14:25:23 +10:00
  • 4cdc9b418d Remove partial merge of SELFOUR-157. Changes are not needed as we already forbid mapping over an existing mapping on this branch Adrian Danis 2014-07-17 16:01:31 +10:00
  • ccc5cb7c35 Merge branch 'master' into experimental to create history relationship Adrian Danis 2014-07-18 05:12:55 +10:00
  • 1d0d65c853 Release cleanup TrustworthySystems 2014-07-18 05:12:42 +10:00
  • 784a367b37 Release cleanup TrustworthySystems 2014-07-08 13:37:40 +10:00
  • a0f478d1a7 Experimental release snapshot TrustworthySystems 2014-07-18 05:04:45 +10:00
  • 91b7da8625 Release snapshot TrusthworthySystems 2014-07-18 05:03:59 +10:00