Issues

• rust_targets/x86_64-sel4-none.json is not valid JSON

  seL4/seL4_tools#242 · Filter by author josephg opened on Dec 10, 2025
  2

• make-uimage script sets -O linux for the image format, but seL4 is not a linux image

  seL4/seL4_tools#229 · Filter by author midnightveil opened on Jun 4, 2025
  1

• Deprecate MakeCPIO in favour of inlining binaries directly into elf files or into their final memory locations

  enhancement
  seL4/seL4_tools#216 · Filter by author kent-mcleod opened on Feb 25, 2025
  7

• Missing settings.cmake in default-CMakeLists.txt

  seL4/seL4_tools#203 · Filter by author dinukaamarasinghe817 opened on Jul 3, 2024

• Make ElfLoader object usage the default build

  enhancementhelp wanted
  seL4/seL4_tools#176 · Filter by author axel-h opened on Aug 24, 2023

• elfloader: issues with Arm's linker script

  seL4/seL4_tools#172 · Filter by author heshamelmatary opened on Jul 24, 2023
  1

• IMAGE_START_ADDR vs actual start address on RISC-V

  bug
  seL4/seL4_tools#148 · Filter by author Ivan-Velickovic opened on Jun 29, 2022
  1

  

• Using -DKERNEL_PATH=<path/to/kernel> does not work

  bug
  seL4/seL4_tools#141 · Filter by author guidoj opened on Mar 9, 2022
  2

• Elfloader crashes on ARMv7 platforms with external L2 Cache controller

  seL4/seL4_tools#131 · Filter by author kent-mcleod opened on Nov 12, 2021

• set OpenSBI dependencies right

  seL4/seL4_tools#121 · Filter by author axel-h opened on Sep 27, 2021

• style-cmake.sh should not reset file mode

  enhancement
  seL4/seL4_tools#112 · Filter by author lsf37 opened on Sep 3, 2021
  1

• elf loader does not parse device tree passend on startup

  enhancementhelp wanted
  seL4/seL4_tools#108 · Filter by author axel-h opened on Sep 1, 2021

• Use ENABLE_SMP_SUPPORT define

  seL4/seL4_tools#96 · Filter by author axel-h opened on Jul 9, 2021

• Bad hack to work around a CMake bug

  help wanted
  seL4/seL4_tools#79 · Filter by author nomadeel opened on May 26, 2021

• RISC-V linker issues for 32-bit simulation

  bughelp wanted
  seL4/seL4_tools#76 · Filter by author nomadeel opened on May 24, 2021
  1