seL4/microkit

Issues

• manual: typos and other questions

  #142 opened 25 days ago by alainkaegi
  2

• zcu102 hello example build with SEL4CP_CONFIG=release fails

  #35 opened 2 months ago by alain-lclark
  4

• Have a "setvar" to reference Size of Memory Region from System Description in User Code

  #99 opened 2 months ago by Bill-James-Ellis
  0

• Switch to LLVM based tools (?)

  #180 opened 3 months ago by Ivan-Velickovic
  5

• Make examples not board specific

  #231 opened 3 months ago by Ivan-Velickovic
  0

• Name each PD with seL4_DebugNameThread

  #235 opened 3 months ago by midnightveil
  5

• (un-)used memory regions for shared memory on SoC

  #253 opened 4 months ago by Vincer239
  3

• add option to generate an ELF file together with the bootable image

  #249 opened 5 months ago by wucke13
  11

• Improve error messages when allocation fails

  #250 opened 5 months ago by Ivan-Velickovic
  1

• allow to preload data from a file into a memory region by specifying an input file in the XML

  #248 opened 5 months ago by wucke13
  0

• Expose the microkit API from within a Linux VM

  #247 opened 5 months ago by wucke13
  2

• Regression when inferring page size

  #243 opened 5 months ago by Ivan-Velickovic
  1

• SDF tests for virtual machines

  #239 opened 5 months ago by Ivan-Velickovic
  0

• Tutorial: part4 ppcall from VMM to less prioritized Wordle_server

  #168 opened 5 months ago by Vincer239
  6

• Remove hardcoding of RISCV toolchain prefix

  #201 opened 5 months ago by wucke13
  4

• tool: Not failing if symbols aren't present for patching

  #86 opened 6 months ago by nspin
  9

• Compatibility Problems with Raspberry Pi 4

  #219 opened 6 months ago by AhmadSalehEsfahani
  2

• Complain at a microkit level of IRQ ACK is called on a non-irq channel

  #174 opened 8 months ago by midnightveil
  2

• Properly submodule seL4

  #72 opened a year ago by podhrmic
  12

• Please add the corresponding seL4 repo as a submodule

  #210 opened 7 months ago by wucke13
  2

• specify a Minimum Supported Rust Version (MSRV) for

  #198 opened 7 months ago by wucke13
  6

• Roadmap

  #61 opened 2 years ago by Ivan-Velickovic
  1

• Allow specifying `phys_addr` for non-device memory

  #172 opened 8 months ago by Ivan-Velickovic
  0

• Microkit stack size

  #98 opened 8 months ago by dstorer-cap
  1

• setvar_vaddr will happily patch the same variable twice

  #176 opened 8 months ago by midnightveil
  1

• seL4 floating point compilation support

  #139 opened 9 months ago by Bojan-Lukic
  6

• Use larger pages when mapping in large ELFs

  #173 opened 9 months ago by Ivan-Velickovic
  0

• tool: Use `rustfmt`

  #160 opened 9 months ago by nspin
  7

• 1.3.0 release archive permissions

  #163 opened 9 months ago by podhrmic
  2

• Please add versioned releases of the sdk

  #116 opened 9 months ago by wucke13
  2

• What is the purpose of the content of a passive server's initialization complete message

  #140 opened 9 months ago by nspin
  2

• Declare stable API & ABI to ease implementation of Rust API

  #127 opened 10 months ago by wucke13
  15

• Make `static inline` optional

  #128 opened 10 months ago by wucke13
  4

• Please do not rely on **any** system headers for the microkit API

  #124 opened 10 months ago by wucke13
  1

• API for dealing with cache-coherency on ARM

  #115 opened a year ago by Ivan-Velickovic
  1

• Check that registered IRQ numbers are sane

  #109 opened a year ago by Ivan-Velickovic
  0

• Add 1GiB page size for AArch64

  #105 opened a year ago by Ivan-Velickovic
  0

• Do not assume kernel is configured with HAVE_SET_TRIGGER

  #103 opened a year ago by Ivan-Velickovic
  0

• Fix approach used for making PDs passive at run-time

  #91 opened a year ago by Ivan-Velickovic
  1

• Proper CI

  #59 opened 2 years ago by Ivan-Velickovic
  5

• Create a guide for doing a platform port

  #48 opened a year ago by Ivan-Velickovic
  0

• ZCU102 hello world example

  #30 opened a year ago by podhrmic
  2

• Typo in the manual

  #82 opened a year ago by bjorn3
  1

• Allowing Microkit to not require a kernel patch

  #52 opened 2 years ago by Ivan-Velickovic
  3

• Generate channel identifiers from the system description

  #69 opened 2 years ago by podhrmic
  5

• Syntax/Semantics for the system manifest

  #70 opened 2 years ago by podhrmic
  7

• Analyse and measure the memory efficiency of Microkit

  #51 opened 2 years ago by Ivan-Velickovic
  0

• Create documentation on the internals and design of Microkit

  #49 opened 2 years ago by Ivan-Velickovic
  0

• delay during PD initialization and execution

  #39 opened 2 years ago by podhrmic
  6

• BorrowMutError panic in sel4cp main

  #37 opened 2 years ago by sid-agrawal
  11