Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / sel4/microkit issues and pull requests

#250 - Improve error messages when allocation fails

Issue - State: open - Opened by Ivan-Velickovic 7 days ago - 1 comment

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

Issue - State: open - Opened by wucke13 8 days ago - 9 comments

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

Issue - State: open - Opened by wucke13 10 days ago - 2 comments

#246 - Added support for Ariane (CVA6) on Digilent Genesys 2 [riscv]

Pull Request - State: open - Opened by omeh-a 14 days ago

#245 - tool: fix defaulting to largest page size

Pull Request - State: closed - Opened by Ivan-Velickovic 14 days ago

#244 - Microkit x86

Pull Request - State: open - Opened by matneutrality 14 days ago - 1 comment

#243 - Regression when inferring page size

Issue - State: closed - Opened by Ivan-Velickovic 15 days ago - 1 comment

#242 - tool: use .system for tests instead of .xml

Pull Request - State: closed - Opened by Ivan-Velickovic 15 days ago

#241 - tool: add tests for parsing virtual machines

Pull Request - State: closed - Opened by Ivan-Velickovic 16 days ago

#240 - tool: check for valid mappings in virtual machines

Pull Request - State: closed - Opened by Ivan-Velickovic 16 days ago

#239 - SDF tests for virtual machines

Issue - State: closed - Opened by Ivan-Velickovic 16 days ago

#238 - Change default MR page size behaviour

Pull Request - State: closed - Opened by Ivan-Velickovic 16 days ago

#237 - Add VERSION file to SDK layout

Pull Request - State: closed - Opened by Ivan-Velickovic 18 days ago

#236 - flake.nix: Use unwrapped bintools for aarch64-none-elf

Pull Request - State: closed - Opened by Ivan-Velickovic 18 days ago

#235 - Name each PD with seL4_DebugNameThread

Issue - State: open - Opened by midnightveil 19 days ago - 5 comments

#234 - Fix bintools in Nix flake for macOS

Pull Request - State: closed - Opened by Ivan-Velickovic 21 days ago

#233 - Add initial Nix flake

Pull Request - State: closed - Opened by Ivan-Velickovic 21 days ago

#232 - Update seL4 version

Pull Request - State: closed - Opened by Ivan-Velickovic 22 days ago

#231 - Make examples not board specific

Issue - State: open - Opened by Ivan-Velickovic 22 days ago

#230 - Add support for Pine64 RockPro64

Pull Request - State: closed - Opened by Ivan-Velickovic 22 days ago

#229 - tool: minor cleanup

Pull Request - State: closed - Opened by Ivan-Velickovic 24 days ago

#228 - Allow building the SDK with a custom toolchain prefix

Pull Request - State: closed - Opened by Ivan-Velickovic 24 days ago

#227 - tool: do not use .get with .unwrap

Pull Request - State: closed - Opened by Ivan-Velickovic 25 days ago

#225 - Load invocation numbers from JSON file

Pull Request - State: closed - Opened by alwin-joshy about 1 month ago - 1 comment

#224 - Increase max PD name length to 64

Pull Request - State: closed - Opened by Ivan-Velickovic about 1 month ago

#223 - Use rust-lld for linking tool on Linux AArch64

Pull Request - State: closed - Opened by Ivan-Velickovic about 1 month ago

#222 - Fix linking of tool on Linux AArch64

Pull Request - State: closed - Opened by Ivan-Velickovic about 1 month ago

#221 - Enable building SDK for Linux AArch64

Pull Request - State: closed - Opened by Ivan-Velickovic about 1 month ago

#220 - aarch64/riscv64: make the microkit loader relocatable

Pull Request - State: open - Opened by alwin-joshy about 2 months ago - 1 comment

#219 - Compatibility Problems with Raspberry Pi 4

Issue - State: open - Opened by AhmadSalehEsfahani 2 months ago - 2 comments

#218 - ci: fix macOS x86-64 SDK artefact

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

#216 - Add support for i.MX8MP-EVK

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

#215 - Add support for ARM SMC calls

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

#214 - Fix typos in error messages

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

#213 - Re-add warning for unused MRs

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

#212 - Improve missing ELF symbol error message

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

#211 - Add ability to specify version of SDK

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

#210 - Please add the corresponding seL4 repo as a submodule

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

#209 - Allow mapping in virtual address of zero

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

#208 - Add more error checking for memory mappings

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

#207 - Release v1.4.1

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

#206 - MaaXBoard loader address fix

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

#205 - Add support for VMs with multiple vCPUs

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

#204 - tool: make minimum Rust version 1.73.0

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

#203 - Minor README fixes

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

#202 - Disable 'KernelArmVtimerUpdateVOffset' by default

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

#201 - Remove hardcoding of RISCV toolchain prefix

Issue - State: closed - Opened by wucke13 3 months ago - 4 comments

#200 - tool: specify minimum rustc version

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

#199 - tool: minor internal cleanup

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

#198 - specify a Minimum Supported Rust Version (MSRV) for

Issue - State: closed - Opened by wucke13 3 months ago - 6 comments

#197 - monitor: print all registers on fault for AArch64

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

#196 - Update PyYAML to 6.0.2

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

#195 - Enable FPU on QEMU virt RISC-V and Star64

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

#194 - tool: fix typo in help prompt

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

#193 - tool: handle untyped retypes larger than fan out limit

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

#192 - tool: improve MR/mapping error checking

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

#191 - tool: fix bootstrap page table repeat invocation

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

#190 - Release v1.4.0

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

#189 - tool: performance improvements

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

#188 - Fix benchmark config to track utilisation

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

#187 - tool: fix allocation of fixed MRs from normal memory

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

#186 - tool: fix assert conditions

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

#185 - Add ability to configure stack size for PDs

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

#184 - Add release notes for 1.4.0

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

#183 - libmicrokit: add 'deferred' API

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

#182 - loader: do not print logs on non-debug mode

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

#181 - tool: fix and simplify PD flattening again

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

#180 - Switch to LLVM based tools (?)

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

#179 - Add support for RISC-V

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

#178 - tool: check for duplicate setvars

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

#177 - tool: rename sysxml to sdf

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

#176 - setvar_vaddr will happily patch the same variable twice

Issue - State: closed - Opened by midnightveil 4 months ago - 1 comment

#175 - Add support for domain scheduling

Pull Request - State: open - Opened by JE-Archer 4 months ago - 2 comments

#173 - Use larger pages when mapping in large ELFs

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

#171 - README: add missing rustup command for Linux

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

#170 - tool: remove commented lines

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

#169 - chore: remove all unsafe

Pull Request - State: closed - Opened by wucke13 4 months ago - 6 comments

#168 - Tutorial: part4 ppcall from VMM to less prioritized Wordle_server

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

#167 - Export ARM architectural timer for QEMU virt AArch64

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

#166 - build_sdk.py: fix typos

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

#165 - Fix SDK permissions

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

#164 - Add support for split program images

Pull Request - State: open - Opened by nspin 4 months ago - 1 comment

#161 - tool: Apply `rustfmt` and add `cargo fmt --check` to PR workflow

Pull Request - State: closed - Opened by nspin 4 months ago

#160 - tool: Use `rustfmt`

Issue - State: closed - Opened by nspin 4 months ago - 7 comments

#159 - tool: add rust-toolchain.toml

Pull Request - State: closed - Opened by nspin 4 months ago - 11 comments

#157 - Add 'benchmark' configuration

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

#139 - seL4 floating point compilation support

Issue - State: open - Opened by Bojan-Lukic 5 months ago - 6 comments

#136 - [DO NOT MERGE] added nix flake

Pull Request - State: closed - Opened by isubasinghe 5 months ago - 6 comments

#100 - More docs fixes

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

#98 - Microkit stack size

Issue - State: closed - Opened by dstorer-cap 10 months ago - 1 comment

#97 - Add support for i.MX8MQ-EVK

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

#96 - loader: adhere to CI style checks

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

#95 - Re-enable the i.MX8MM-EVK support

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

#94 - Add macOS support

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