Code

Major improvements from evaluation#10

Code

Merged

HAKarlsson merged 53 commits intomainkth-step/s3k:mainfrom devkth-step/s3k:devCopy head branch name to clipboardMay 15, 2024

+2,910-2,636

Commits

Commits on May 15, 2024

• Fixes to readme

  HAKarlsson

  committed
  0da7d30

• Refine README.md

  HAKarlsson

  committed
  36f46fc

• Fixes formatting

  HAKarlsson

  committed
  b3fbef0

• Sets current process to 'tp' and streamline system calls

  HAKarlsson

  committed
  6b534b7

• Improves revocation

  HAKarlsson

  committed
  ed9bc5c

• Remove tp as current process, improve IPC code

  HAKarlsson

  committed
  3e827be

• Fixes trapped project for sifive_unleashed

  HAKarlsson

  committed
  4014205

• Fixes ping-pong for sifive_unleashed

  HAKarlsson

  committed
  0300a42

• Fixes proc_acquire+ipc_wait race condition

  HAKarlsson

  committed
  385d600

• Fixes IPC and revocation

  HAKarlsson

  committed
  161613f

• Typo in default.ld

  HAKarlsson

  committed
  e63294a

• Remove cap_is_revocable

  HAKarlsson

  committed
  3ec311e

• Adds NPREMPT option.

  Show description for e266b86
  HAKarlsson

  committed
  e266b86

• Fixes reply when there is no receiver

  HAKarlsson

  committed
  dedebb1

• Adds another qemu platform.

  Show description for 4fa63bc
  HAKarlsson

  committed
  4fa63bc

• Adds more descriptive QEMU script

  HAKarlsson

  committed
  6fb9840

• Adds description of qemu for sifive_unleashed

  HAKarlsson

  committed
  0c22475

• Add debug output to kernel with different verbosity levels.

  HAKarlsson

  committed
  b986489

• Improves scheduler debug output

  HAKarlsson

  committed
  0f63287

• Fixes PMP revocation

  HAKarlsson

  committed
  00bcbc3

• Improves printing of initial capabilities

  HAKarlsson

  committed
  f46c5b4

• Formatting

  HAKarlsson

  committed
  b03dcf5

• Adds kernel assert statements

  HAKarlsson

  committed
  a5d760f

• Improves revoke efficiency

  HAKarlsson

  committed
  5644460

• Improves delete

  HAKarlsson

  committed
  1e9febc

• Improves userland libraries

  HAKarlsson

  committed
  cd53623

• Fixes a bug in syscall mon_reg_write mon_reg_read

  HAKarlsson

  committed
  1168ac5

• Improves altio

  HAKarlsson

  committed
  a985f8d

• Streamlines cap_ops

  HAKarlsson

  committed
  4920b43

• Fixes cap_is_valid, which checks that the capability has a valid form

  HAKarlsson

  committed
  fb73285

• Fixes NDEBUG and NPREEMPT macro

  HAKarlsson

  committed
  1289b94

• Simplifies CSR

  HAKarlsson

  committed
  74ac211

• Sets registers s1-s11 to call used registers

  HAKarlsson

  committed
  fcc4c2f

• Enables fence.i instruction

  HAKarlsson

  committed
  7e83be5

• Aligns kernel stack to 8-byte

  HAKarlsson

  committed
  8ebff57

• Sets INSTRUMENT macro in head.S

  HAKarlsson

  committed
  38f3692

• Fixes alt_printf

  HAKarlsson

  committed
  29148b7

• Improves cap_pmp_load/unload

  HAKarlsson

  committed
  a66c3a1

• Improves cap_pmp_load/unload

  HAKarlsson

  committed
  4fce709

• Improves scheduler

  HAKarlsson

  committed
  100eac2

• Reorganize system call code and arguments

  HAKarlsson

  committed
  3ed56c7

• Adds size target to makefiles

  HAKarlsson

  committed
  4e366ad

• Improves 'make format' and removes 'make docs'

  HAKarlsson

  committed
  45f6682

• Adds 'make size' to demonstrator

  HAKarlsson

  committed
  1cc500d

• Adds demonstrator to project list

  HAKarlsson

  committed
  7cac6e8

• Improves Makefile

  HAKarlsson

  committed
  46207c1

• Various minor improvements

  HAKarlsson

  committed
  1b960c2

• Evaluation

  HAKarlsson

  committed
  dd94588

• benchmark

  HAKarlsson

  committed
  cd2514f

• Fixes syscall.c, IPC copy data bug.

  HAKarlsson

  committed
  c47f920

• Fixes a bug

  HAKarlsson

  committed
  cfb1d9d

• Removes benchmarking code and instrumentation

  HAKarlsson

  committed
  57e4f88

• Fixes cap_ipc.c reply.cap getting the wrong value.

  HAKarlsson

  committed
  ea04c31