seL4/microkit

Issues

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

  #86 opened 2 months ago by nspin
  9

• Compatibility Problems with Raspberry Pi 4

  #219 opened 2 months ago by AhmadSalehEsfahani
  2

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

  #174 opened 4 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 3 months ago by wucke13
  2

• specify a Minimum Supported Rust Version (MSRV) for

  #198 opened 3 months ago by wucke13
  6

• Remove hardcoding of RISCV toolchain prefix

  #201 opened 3 months ago by wucke13
  4

• Roadmap

  #61 opened a year ago by Ivan-Velickovic
  1

• Allow specifying `phys_addr` for non-device memory

  #172 opened 3 months ago by Ivan-Velickovic
  0

• RISCV support in Microkit

  #26 opened 3 months ago by podhrmic
  19

• Microkit stack size

  #98 opened 3 months ago by dstorer-cap
  1

• Tutorial: part4 ppcall from VMM to less prioritized Wordle_server

  #168 opened 4 months ago by Vincer239
  6

• Switch to LLVM based tools (?)

  #180 opened 3 months ago by Ivan-Velickovic
  4

• setvar_vaddr will happily patch the same variable twice

  #176 opened 4 months ago by midnightveil
  1

• seL4 floating point compilation support

  #139 opened 5 months ago by Bojan-Lukic
  6

• Use larger pages when mapping in large ELFs

  #173 opened 4 months ago by Ivan-Velickovic
  0

• tool: Use `rustfmt`

  #160 opened 4 months ago by nspin
  7

• 1.3.0 release archive permissions

  #163 opened 4 months ago by podhrmic
  2

• Please add versioned releases of the sdk

  #116 opened 4 months ago by wucke13
  2

• manual: typos and other questions

  #142 opened 5 months ago by alainkaegi
  1

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

  #140 opened 5 months ago by nspin
  2

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

  #127 opened 5 months ago by wucke13
  15

• Make `static inline` optional

  #128 opened 5 months ago by wucke13
  4

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

  #124 opened 6 months ago by wucke13
  1

• API for dealing with cache-coherency on ARM

  #115 opened 8 months ago by Ivan-Velickovic
  1

• Check that registered IRQ numbers are sane

  #109 opened 9 months ago by Ivan-Velickovic
  0

• Add 1GiB page size for AArch64

  #105 opened 9 months ago by Ivan-Velickovic
  0

• Do not assume kernel is configured with HAVE_SET_TRIGGER

  #103 opened 9 months ago by Ivan-Velickovic
  0

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

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

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

  #91 opened 10 months ago by Ivan-Velickovic
  1

• Proper CI

  #59 opened a year ago by Ivan-Velickovic
  5

• Create a guide for doing a platform port

  #48 opened 10 months ago by Ivan-Velickovic
  0

• ZCU102 hello world example

  #30 opened 10 months 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 a year ago by Ivan-Velickovic
  3

• zcu102 hello example build with SEL4CP_CONFIG=release fails

  #35 opened a year ago by alain-lclark
  4

• Generate channel identifiers from the system description

  #69 opened a year ago by podhrmic
  5

• Syntax/Semantics for the system manifest

  #70 opened a year ago by podhrmic
  7

• Rust Microkit Migration Plan

  #28 opened 2 years ago by podhrmic
  4

• Microkit support for 32bit architectures (Zynq7000)?

  #29 opened 2 years ago by podhrmic
  1

• Enforce toolchain used for building kernel?

  #23 opened a year ago by Ivan-Velickovic
  4

• sel4cp mapping to CAMKES primitives

  #14 opened a year ago by podhrmic
  8

• Analyse and measure the memory efficiency of Microkit

  #51 opened a year ago by Ivan-Velickovic
  0

• Create documentation on the internals and design of Microkit

  #49 opened a year ago by Ivan-Velickovic
  0

• Support for additional platforms

  #15 opened a year ago by podhrmic
  5

• delay during PD initialization and execution

  #39 opened a year ago by podhrmic
  6

• BorrowMutError panic in sel4cp main

  #37 opened a year ago by sid-agrawal
  11

• ARM interrupt mapping in .system

  #27 opened a year ago by podhrmic
  6

• SDK build currently broken

  #22 opened a year ago by Ivan-Velickovic
  5

• Building "release" config fails

  #25 opened 2 years ago by podhrmic
  3