Commit history

1. Commits on Nov 6, 2022

   • hardware: add page for polarfire

     Show description for a46c148
     

     alexpavey

     authored and

     lsf37

     committed
     a46c148View commit details

     Copy full SHA for a46c148

     Browse repository at this point
2. Commits on Oct 23, 2022

   • build(deps): bump nokogiri from 1.13.6 to 1.13.9

     Show description for c632c31
     

     dependabot[bot]

     authored and

     kent-mcleod

     committed
     c632c31View commit details

     Copy full SHA for c632c31

     Browse repository at this point
3. Commits on Oct 20, 2022

   • zcu102: update cmake_plat from zynqmp to zcu102

     Show description for 062ae38
     

     Chris Guikema

     authored and

     lsf37

     committed
     062ae38View commit details

     Copy full SHA for 062ae38

     Browse repository at this point
4. Commits on Oct 19, 2022

   • hardware: add page for ultra96v2

     Show description for 243c99f
     

     Chris Guikema

     authored and

     lsf37

     committed
     243c99fView commit details

     Copy full SHA for 243c99f

     Browse repository at this point
5. Commits on Oct 6, 2022

   • Add a test status page

     Show description for 94587ef
     lsf37

     committed
     94587efView commit details

     Copy full SHA for 94587ef

     Browse repository at this point
6. Commits on Oct 4, 2022

   • faq: link to verified configs

     Show description for cbed1b3
     lsf37

     committed
     cbed1b3View commit details

     Copy full SHA for cbed1b3

     Browse repository at this point
7. Commits on Sep 30, 2022

   • roadmap: add AARCH64, assign MCS to Proofcraft

     Show description for 885a554
     lsf37

     committed
     885a554View commit details

     Copy full SHA for 885a554

     Browse repository at this point

   • update community projects

     Show description for 81036ab
     

     Axel Heider

     authored and

     lsf37

     committed
     81036abView commit details

     Copy full SHA for 81036ab

     Browse repository at this point

   • hardware: consolidate verification tags

     Show description for 092a5ad
     lsf37

     committed
     092a5adView commit details

     Copy full SHA for 092a5ad

     Browse repository at this point

   • hardware: link back to verified configs

     Show description for 4fe81b7
     lsf37

     committed
     4fe81b7View commit details

     Copy full SHA for 4fe81b7

     Browse repository at this point

   • verified configs: add AARCH64 and RISCV64_MCS

     Show description for 3e1cdeb
     lsf37

     committed
     3e1cdebView commit details

     Copy full SHA for 3e1cdeb

     Browse repository at this point

   • docker: update docker env for seL4-tutorials

     Show description for 713dd45
     lsf37

     committed
     713dd45View commit details

     Copy full SHA for 713dd45

     Browse repository at this point
8. Commits on Sep 29, 2022

   • update verification status

     Show description for d052e7a
     lsf37

     committed
     d052e7aView commit details

     Copy full SHA for d052e7a

     Browse repository at this point
9. Commits on Jul 10, 2022

   • update FAQ with RISCV+AArch64 proofs

     Show description for e2ad0e6
     lsf37

     committed
     e2ad0e6View commit details

     Copy full SHA for e2ad0e6

     Browse repository at this point
10. Commits on May 31, 2022

    • host dependencies: update for Ubuntu 20.04/22.04

      Show description for d26e103
      

      Ivan-Velickovic

      authored and

      lsf37

      committed
      d26e103View commit details

      Copy full SHA for d26e103

      Browse repository at this point

    • host dependencies: styling

      Show description for 151e1bd
      

      Ivan-Velickovic

      authored and

      lsf37

      committed
      151e1bdView commit details

      Copy full SHA for 151e1bd

      Browse repository at this point

    • host dependencies: add RISC-V instructions

      Show description for 5cd1dab
      

      Ivan-Velickovic

      authored and

      lsf37

      committed
      5cd1dabView commit details

      Copy full SHA for 5cd1dab

      Browse repository at this point

    • host dependencies: split QEMU and ARM installs

      Show description for e9b0237
      

      Ivan-Velickovic

      authored and

      lsf37

      committed
      e9b0237View commit details

      Copy full SHA for e9b0237

      Browse repository at this point

    • Small typo/styling changes

      Show description for f708150
      

      Ivan-Velickovic

      authored and

      lsf37

      committed
      f708150View commit details

      Copy full SHA for f708150

      Browse repository at this point
11. Commits on May 19, 2022

    • build(deps): bump nokogiri from 1.13.4 to 1.13.6 (#148)

      Show description for a5a19e6
      dependabot[bot]

      authored
      a5a19e6View commit details

      Copy full SHA for a5a19e6

      Browse repository at this point
12. Commits on May 11, 2022

    • Add basic documentation entry for Avnet MaaXboard

      Show description for 62b7ec3
      

      mjenkcapgemini

      authored and

      kent-mcleod

      committed
      62b7ec3View commit details

      Copy full SHA for 62b7ec3

      Browse repository at this point
13. Commits on May 8, 2022

    • github: do not deploy on forks

      Show description for 439e9da
      

      axel-h

      authored and

      lsf37

      committed
      439e9daView commit details

      Copy full SHA for 439e9da

      Browse repository at this point
14. Commits on Apr 12, 2022

    • build(deps): bump nokogiri from 1.13.3 to 1.13.4

      Show description for bc7ee14
      

      dependabot[bot]

      authored and

      lsf37

      committed
      bc7ee14View commit details

      Copy full SHA for bc7ee14

      Browse repository at this point
15. Commits on Mar 24, 2022

    • Merge camkes-arm-vm project with camkes-vm

      Show description for 461e5e0
      kent-mcleod

      committed
      461e5e0View commit details

      Copy full SHA for 461e5e0

      Browse repository at this point
16. Commits on Mar 23, 2022

    • point to devel mailing list

      Show description for 3bcc345
      

      axel-h

      authored and

      lsf37

      committed
      3bcc345View commit details

      Copy full SHA for 3bcc345

      Browse repository at this point

    • trivial: remove trailing spaces

      Show description for c85b2e8
      

      axel-h

      authored and

      lsf37

      committed
      c85b2e8View commit details

      Copy full SHA for c85b2e8

      Browse repository at this point

    • trivial: Update mailing list links to postorius

      Show description for f160c38
      

      David Schwarz

      authored and

      lsf37

      committed
      f160c38View commit details

      Copy full SHA for f160c38

      Browse repository at this point
17. Commits on Mar 22, 2022

    • update link from dtd to xsd in manual gen page

      Show description for ddb17ed
      

      ratmice

      authored and

      lsf37

      committed
      ddb17edView commit details

      Copy full SHA for ddb17ed

      Browse repository at this point
18. Commits on Feb 27, 2022

    • build(deps): bump nokogiri from 1.12.5 to 1.13.3 (#133)

      Show description for 4ffbb48
      dependabot[bot]

      authored
      4ffbb48View commit details

      Copy full SHA for 4ffbb48

      Browse repository at this point
19. Commits on Feb 22, 2022

    • Further TX2 details update

      Show description for 7d5446b
      lsf37

      committed
      7d5446bView commit details

      Copy full SHA for 7d5446b

      Browse repository at this point
20. Commits on Feb 15, 2022

    • make code blocks use preformatted whitespace.

      Show description for 5dfdd37
      

      ratmice

      authored and

      lsf37

      committed
      5dfdd37View commit details

      Copy full SHA for 5dfdd37

      Browse repository at this point
21. Commits on Feb 10, 2022

    • Update TX2 details (#130)

      Show description for c591342
      wom-bat

      authored
      c591342View commit details

      Copy full SHA for c591342

      Browse repository at this point

    • Sort hardware by platform, not architecture (#129)

      Show description for f3262d3
      wom-bat

      authored
      f3262d3View commit details

      Copy full SHA for f3262d3

      Browse repository at this point
22. Commits on Feb 7, 2022

    • Fix command for installing g++-8

      Show description for e6401b9
      

      Ivan-Velickovic

      authored and

      lsf37

      committed
      e6401b9View commit details

      Copy full SHA for e6401b9

      Browse repository at this point
23. Commits on Jan 27, 2022

    • Update links to Robigalia website

      Show description for 8274e01
      

      canarysnort01

      authored and

      lsf37

      committed
      8274e01View commit details

      Copy full SHA for 8274e01

      Browse repository at this point