sel4/microkit issues and pull requests

#306 - Inquiry on SMP Support Status in MicroKit Loader Implementation

Issue - State: closed - Opened by ssd4561 2 months ago - 4 comments

#305 - Document what kernel proofs apply

Issue - State: open - Opened by Ivan-Velickovic 4 months ago

#304 - Enable "KernelAllowSMCCalls" by default on ARM

Pull Request - State: closed - Opened by Ivan-Velickovic 4 months ago - 2 comments

#303 - Fix Rust example for latest Microkit

Pull Request - State: closed - Opened by Ivan-Velickovic 4 months ago

#302 - Add Ultra96V2 support

Pull Request - State: closed - Opened by malus-brandywine 4 months ago - 5 comments

#301 - loader: cleanup uart_init, do it for QEMU virt AArch64

Pull Request - State: closed - Opened by Ivan-Velickovic 4 months ago

#300 - Add 2.0.1 release notes

Pull Request - State: closed - Opened by Ivan-Velickovic 5 months ago

#299 - tool: detect overlaps between user-specified maps and generated maps

Pull Request - State: closed - Opened by Ivan-Velickovic 5 months ago

#298 - github: use central CI workflows

Pull Request - State: closed - Opened by lsf37 5 months ago - 1 comment

#297 - loader: always output '\r' before '\n'

Pull Request - State: closed - Opened by Ivan-Velickovic 5 months ago

#296 - Pin to Python 3.12

Pull Request - State: closed - Opened by Ivan-Velickovic 5 months ago - 1 comment

#295 - libmicrokit: fix UB with error reporting

Pull Request - State: closed - Opened by Ivan-Velickovic 5 months ago

#294 - monitor: better debug error when untyped don't match

Pull Request - State: closed - Opened by Ivan-Velickovic 5 months ago

#293 - libmicrokit: fix error reporting for channels

Pull Request - State: closed - Opened by Ivan-Velickovic 5 months ago

#292 - Fix typo in build_sdk.py

Pull Request - State: closed - Opened by yf13 5 months ago - 1 comment

#291 - libmicrokit: fix error reporting for channels higher than 32

Pull Request - State: closed - Opened by Ivan-Velickovic 5 months ago

#290 - Add ARM SMC forwarding granularity

Issue - State: open - Opened by Ivan-Velickovic 5 months ago

#289 - build_sdk.py: fix when host is Linux AArch64

Pull Request - State: closed - Opened by Ivan-Velickovic 5 months ago

#288 - x86_64-unknown-linux-musl` target may not be installed

Issue - State: closed - Opened by heshamelmatary 5 months ago - 4 comments

#287 - Release 2.0.0

Pull Request - State: closed - Opened by Ivan-Velickovic 5 months ago

#286 - tool: improve error checking and error reporting for allocations

Pull Request - State: closed - Opened by Ivan-Velickovic 5 months ago

#285 - Unexpected behaviour with minimum budget

Issue - State: open - Opened by Ivan-Velickovic 5 months ago - 4 comments

#284 - manual: various fixes/improvements

Pull Request - State: closed - Opened by Ivan-Velickovic 5 months ago

#283 - tool: succumb to clippy

Pull Request - State: closed - Opened by Ivan-Velickovic 5 months ago

#282 - libmicrokit: more error reporting

Pull Request - State: closed - Opened by Ivan-Velickovic 5 months ago - 2 comments

#281 - tool: ensure correct stack pointer alignment

Pull Request - State: closed - Opened by Ivan-Velickovic 5 months ago

#280 - manual: add section on internals

Pull Request - State: closed - Opened by Ivan-Velickovic 5 months ago

#279 - loader: fix qemu GIC addresses

Pull Request - State: closed - Opened by midnightveil 6 months ago

#278 - Add support for SiFive Premier P550

Pull Request - State: open - Opened by Ivan-Velickovic 6 months ago

#277 - manual: make board support alphabetical order

Pull Request - State: closed - Opened by Ivan-Velickovic 6 months ago

#276 - tool: improve emulation of kernel boot

Pull Request - State: closed - Opened by Ivan-Velickovic 6 months ago

#275 - monitor: decode faults caused by UBSAN

Pull Request - State: closed - Opened by Ivan-Velickovic 6 months ago

#274 - Add 'setvar_size' attribute for MR mappings

Pull Request - State: closed - Opened by Ivan-Velickovic 6 months ago

#273 - README: mention Cheshire

Pull Request - State: closed - Opened by Ivan-Velickovic 6 months ago

#272 - Add support for Raspberry Pi 4B

Pull Request - State: closed - Opened by Ivan-Velickovic 6 months ago

#271 - Fix issues with allocation

Pull Request - State: closed - Opened by alwin-joshy 6 months ago

#270 - Print UBSAN errors in monitor

Issue - State: closed - Opened by Ivan-Velickovic 6 months ago

#269 - Update seL4 version

Pull Request - State: closed - Opened by Ivan-Velickovic 6 months ago

#268 - Check runtime device tree matches kernel in loader

Issue - State: open - Opened by Ivan-Velickovic 6 months ago

#267 - Mention Rust support and add hello world Rust example

Pull Request - State: closed - Opened by Ivan-Velickovic 6 months ago

#266 - Dropped Interrupts

Issue - State: closed - Opened by Vincer239 6 months ago - 9 comments

#265 - Remove example/ariane

Pull Request - State: closed - Opened by Ivan-Velickovic 6 months ago

#264 - Fixes for debug-mode TCB naming

Pull Request - State: closed - Opened by Ivan-Velickovic 6 months ago

#263 - boot directly throws null cap #30 error (embedded zcu102)

Issue - State: closed - Opened by Vincer239 7 months ago - 14 comments

#262 - tool: fix potential integer overflow when parsing ELFs

Pull Request - State: closed - Opened by Ivan-Velickovic 7 months ago - 1 comment

#261 - ci: include os/arch in per-commit tar filenames

Pull Request - State: closed - Opened by Ivan-Velickovic 7 months ago

#260 - monitor: fix patched variables to not be static

Pull Request - State: closed - Opened by Ivan-Velickovic 7 months ago

#259 - Name VM TCBs in debug mode as well

Pull Request - State: closed - Opened by Ivan-Velickovic 7 months ago

#258 - tool: improve error message when checking SMC support

Pull Request - State: closed - Opened by Ivan-Velickovic 7 months ago

#257 - monitor: report potential stack overflows

Pull Request - State: closed - Opened by Ivan-Velickovic 7 months ago

#256 - Refactor examples for handling many boards

Pull Request - State: closed - Opened by Ivan-Velickovic 7 months ago

#255 - Utilise seL4_DebugNameThread for debugging

Pull Request - State: closed - Opened by Ivan-Velickovic 7 months ago

#254 - tool/microkit: fix SchedContext allocation size

Pull Request - State: closed - Opened by matneutrality 8 months ago

#253 - (un-)used memory regions for shared memory on SoC

Issue - State: closed - Opened by Vincer239 8 months ago - 4 comments

#252 - Support for Cheshire on Digilent Genesys 2

Pull Request - State: closed - Opened by omeh-a 8 months ago - 1 comment

#251 - Fix examples for channel PPC change

Pull Request - State: closed - Opened by Ivan-Velickovic 8 months ago

#250 - Improve error messages when allocation fails

Issue - State: closed - Opened by Ivan-Velickovic 9 months ago - 1 comment

#249 - add option to generate an ELF file together with the bootable image

Issue - State: open - Opened by wucke13 9 months ago - 11 comments

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

Issue - State: open - Opened by wucke13 9 months ago

#247 - Expose the microkit API from within a Linux VM

Issue - State: open - Opened by wucke13 9 months ago - 2 comments