Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Sep 3, 2024

• Updated links that used to go to bootloader.md

  

  dstorer-cap

  committed
  181ac1c

  Copy full SHA for 181ac1c

• Merge branch 'main' of github.com:sel4devkit/sel4devkit-manual

  

  dstorer-cap

  committed
  d35bad0

  Copy full SHA for d35bad0

• Changed microkit architecture figure path

  

  dstorer-cap

  committed
  1488abf

  Copy full SHA for 1488abf

Commits on Aug 23, 2024

• Clarify links.

  Bill-James-Ellis

  committed
  92c4cfc

  Copy full SHA for 92c4cfc

• Clarify links.

  Bill-James-Ellis

  committed
  8c9b22e

  Copy full SHA for 8c9b22e

• This is now positioned earlier.

  Bill-James-Ellis

  committed
  e86223e

  Copy full SHA for e86223e

• Merge branch 'main' of github.com:sel4devkit/sel4devkit-manual

  Bill-James-Ellis

  committed
  e27f865

  Copy full SHA for e27f865

• Clarify links.

  Bill-James-Ellis

  committed
  2d8ed5d

  Copy full SHA for 2d8ed5d

• Added configuration python environment for camkes application

  

  dstorer-cap

  committed
  64bbb85

  Copy full SHA for 64bbb85

• Merge branch 'main' of github.com:sel4devkit/sel4devkit-manual

  

  dstorer-cap

  committed
  7a7c271

  Copy full SHA for 7a7c271

• Updated paths

  

  dstorer-cap

  committed
  939fdc0

  Copy full SHA for 939fdc0

• Merge branch 'main' of github.com:sel4devkit/sel4devkit-manual

  Bill-James-Ellis

  committed
  f5d0d60

  Copy full SHA for f5d0d60

• Clarify and consolidate U-Boot configuration.

  Bill-James-Ellis

  committed
  b1d8f68

  Copy full SHA for b1d8f68

• Updated more links

  

  dstorer-cap

  committed
  eab4002

  Copy full SHA for eab4002

• Merge branch 'main' of github.com:sel4devkit/sel4devkit-manual

  Show description for c2e1efa
  

  dstorer-cap

  committed
  c2e1efa

  Copy full SHA for c2e1efa

• Updated links

  

  dstorer-cap

  committed
  82756fc

  Copy full SHA for 82756fc

• Ref the templates, as they have the context-specfic detail.

  Bill-James-Ellis

  committed
  3566d53

  Copy full SHA for 3566d53

• Link in PPPS activity.

  Bill-James-Ellis

  committed
  5365e13

  Copy full SHA for 5365e13

• More handy references.

  Bill-James-Ellis

  committed
  c06fa13

  Copy full SHA for c06fa13

• Fix figure ref.

  Bill-James-Ellis

  committed
  0f1a63f

  Copy full SHA for 0f1a63f

• Clean figures.

  Bill-James-Ellis

  committed
  17fba38

  Copy full SHA for 17fba38

• Merge branch 'main' of github.com:sel4devkit/sel4devkit-manual

  

  dstorer-cap

  committed
  1eda13d

  Copy full SHA for 1eda13d

• Removed file from microkit case study

  

  dstorer-cap

  committed
  2b8eb72

  Copy full SHA for 2b8eb72

• Merge branch 'main' of github.com:sel4devkit/sel4devkit-manual

  

  dstorer-cap

  committed
  21faa88

  Copy full SHA for 21faa88

• Updated camkes case study figure

  

  dstorer-cap

  committed
  1206db2

  Copy full SHA for 1206db2

• Clean figures.

  Bill-James-Ellis

  committed
  f187e1d

  Copy full SHA for f187e1d

• Update glossary.md

  tharveyy

  authored
  1fa0286

  Copy full SHA for 1fa0286

• Clean figures.

  Bill-James-Ellis

  committed
  957071b

  Copy full SHA for 957071b

• mend name.

  Bill-James-Ellis

  committed
  d8af00c

  Copy full SHA for d8af00c

• Drop in Fig.

  Bill-James-Ellis

  committed
  771d75f

  Copy full SHA for 771d75f

• Merge branch 'main' of github.com:sel4devkit/sel4devkit-manual

  Bill-James-Ellis

  committed
  fa6dfec

  Copy full SHA for fa6dfec

• Provide detail for this Activity. Figure pending.

  Bill-James-Ellis

  committed
  aa3f0db

  Copy full SHA for aa3f0db

• Update bootloader_setup.md

  tharveyy

  authored
  321a805

  Copy full SHA for 321a805

• Update bootloader_setup.md

  tharveyy

  authored
  c489a10

  Copy full SHA for c489a10

• Updated summary

  

  dstorer-cap

  committed
  922ab28

  Copy full SHA for 922ab28