Code

V1.4, fixes & intro ukit#7

Code

Merged

gernotheiser merged 9 commits intomasterseL4/whitepaper:masterfrom wp_1_4seL4/whitepaper:wp_1_4Copy head branch name to clipboardJan 8, 2025

+233-134

Commits

Commits on Dec 30, 2024

• Start at V1.4, fixes & intro ukit

  Show description for 454b03f
  gernotheiser

  committed
  454b03f

  Copy full SHA for 454b03f

• Update build.yml

  Show description for 4bf4f8f
  gernotheiser

  authored
  4bf4f8f

  Copy full SHA for 4bf4f8f

Commits on Dec 31, 2024

• Replaced CAmkES section by ukit, plus minor edits

  Show description for 0ec031f
  gernotheiser

  committed
  0ec031f

  Copy full SHA for 0ec031f

• Draft off, new revision

  Show description for aaa5c58
  gernotheiser

  committed
  aaa5c58

  Copy full SHA for aaa5c58

• Caps vs syscalls, minor copy-editing

  Show description for a075d84
  gernotheiser

  committed
  a075d84

  Copy full SHA for a075d84

Commits on Jan 7, 2025

• Address Ivan's comments

  Show description for 6f0bf2e
  gernotheiser

  committed
  6f0bf2e

  Copy full SHA for 6f0bf2e

• Address Ivan&Gerwin comments

  Show description for f68e24f
  gernotheiser

  committed
  f68e24f

  Copy full SHA for f68e24f

Commits on Jan 8, 2025

• Minor fix

  Show description for eba72d8
  Ivan-Velickovic

  committed
  eba72d8

  Copy full SHA for eba72d8

• Update release date

  Show description for 82e4cfa
  gernotheiser

  committed
  82e4cfa

  Copy full SHA for 82e4cfa