Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 19, 2022

• Merge branch 'clean' into staging

  Show description for a1cc0c2
  sleffler

  committed
  a1cc0c2

Commits on Aug 18, 2022

• Merge branch 'clean' into staging

  Show description for 0e8044d
  sleffler

  committed
  0e8044d

Commits on Aug 12, 2022

• Merge branch 'rustfmt' into staging

  Show description for 37cfcbc
  sleffler

  committed
  37cfcbc

Commits on Aug 10, 2022

• processmanager: add/tweak OSS materials

  Show description for 792f674
  sleffler

  committed
  792f674

• Merge changes If949288d,I9849065a,I121edee2

  Show description for 2f237c6
  

  hcindyl

  authored and

  sleffler

  committed
  2f237c6

• rust.cmake: add comment pointing to CAmkES setting of --tls-model

  Show description for 40084c2
  sleffler

  committed
  40084c2

• domains: Remove TPA sandbox domain for now

  Show description for 45cdfa6
  

  jtg-google

  authored and

  sleffler

  committed
  45cdfa6

• Merge "capdl: add CDL_ObjID_Invalid"

  Show description for f4aa444
  sleffler

  committed
  f4aa444

• Merge "kata-os-model: reclaim rootserver resources"

  Show description for 6ced997
  sleffler

  committed
  6ced997

• Merge changes from topic "kata-os-bootinfo"

  Show description for d243bf6
  sleffler

  committed
  d243bf6

• kata-os-model: portability fix

  Show description for e6d36db
  sleffler

  committed
  e6d36db

• kata-os-model: additional rustfmt (missed --all the first time)

  Show description for 0bcd6a4
  sleffler

  committed
  0bcd6a4

• scheduling: Create a secondary sandbox scheduling domain

  Show description for 0efec55
  

  jtg-google

  authored and

  sleffler

  committed
  0efec55

• Add capscan suport.

  Show description for cdcdda0
  sleffler

  committed
  cdcdda0

• kata-os-model: misc fixups

  Show description for df534d9
  sleffler

  committed
  df534d9

• sel4-sys: add isTainted member to UntypedDesc

  Show description for 9a35c89
  

  MarWit

  authored and

  sleffler

  committed
  9a35c89

• kata-os-model: stop dup'ing TCB's and CNode's

  Show description for 232b90f
  sleffler

  committed
  232b90f

• Reduce CAmkES per-component heap allocation.

  Show description for 7b1187a
  sleffler

  committed
  7b1187a

• kata-slot-allocator: update bitvec dep to v1.0

  Show description for 03dcfd4
  sleffler

  committed
  03dcfd4

• Merge "Changes for updating the toolchain to nightly-1.58.0"

  Show description for 5c9440b
  

  hcindyl

  authored and

  sleffler

  committed
  5c9440b

• kata-os-model: CONFIG_NOISY_INIT_CNODE cleanup

  Show description for b42bb46
  sleffler

  committed
  b42bb46

• Update the cbindgen toml to re-enable clang-format check

  Show description for 6f01700
  

  hcindyl

  authored and

  sleffler

  committed
  6f01700

• kata-os-camkes: wrap reply ipc buffer capability handling

  Show description for 6259724
  sleffler

  committed
  6259724

• kata-os-camkes: wrap request ipc buffer capability handling

  Show description for 45f374c
  sleffler

  committed
  45f374c

• kata-os-camkes: export C bindings for better CAmkES integration

  Show description for a67242a
  sleffler

  committed
  a67242a

• kata-os-common: add delete support to CSpaceSlot.

  Show description for 3b7354e
  sleffler

  committed
  3b7354e

• kata-os-slot-allocator: add optional tracing msgs

  Show description for 6f9d471
  sleffler

  committed
  6f9d471

• kata-os-common: add CopyRegion support.

  Show description for e7e04c5
  sleffler

  committed
  e7e04c5

• kata:rust: Point the rust version to KATA_RUST_VERSION

  Show description for 1d8055b
  

  hcindyl

  authored and

  sleffler

  committed
  1d8055b

• kata: pin indexmap crate version to 1.8

  Show description for 8ae3da3
  

  hcindyl

  authored and

  sleffler

  committed
  8ae3da3

• Move RUST_TARGET setup to easy-settings.cmake.

  Show description for e92e21d
  sleffler

  committed
  e92e21d

• kata-os-common: first cut at riscv64 support

  Show description for 3a900c2
  sleffler

  committed
  3a900c2

• kata-os-common: improve portability & fix aarch64 platform

  Show description for 0c47a6e
  

  MarWit

  authored and

  sleffler

  committed
  0c47a6e

• Revert "kata-os-common: improve portability & fix aarch64 platform"

  Show description for ed64a4d
  

  hcindyl

  authored and

  sleffler

  committed
  ed64a4d

• kata-os-common: improve portability & fix aarch64 platform

  Show description for 6bc20f8
  

  MarWit

  authored and

  sleffler

  committed
  6bc20f8

Pagination

PreviousNext