Search results

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

Status: Open.

#242 In seL4/seL4_tools;

· josephg opened on Dec 10, 2025

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

Status: Open.

#229 In seL4/seL4_tools;

· midnightveil opened on Jun 4, 2025

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

enhancement

Status: Open.

#216 In seL4/seL4_tools;

· kent-mcleod opened on Feb 25, 2025

Missing settings.cmake in default-CMakeLists.txt

Status: Open.

#203 In seL4/seL4_tools;

· dinukaamarasinghe817 opened on Jul 3, 2024

Make ElfLoader object usage the default build

enhancement

help wanted

Status: Open.

#176 In seL4/seL4_tools;

· axel-h opened on Aug 24, 2023

elfloader: issues with Arm's linker script

Status: Open.

#172 In seL4/seL4_tools;

· heshamelmatary opened on Jul 24, 2023

IMAGE_START_ADDR vs actual start address on RISC-V

bug

Status: Open.

#148 In seL4/seL4_tools;

· Ivan-Velickovic opened on Jun 29, 2022

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

bug

Status: Open.

#141 In seL4/seL4_tools;

· guidoj opened on Mar 9, 2022

Elfloader crashes on ARMv7 platforms with external L2 Cache controller

Status: Open.

#131 In seL4/seL4_tools;

· kent-mcleod opened on Nov 12, 2021

set OpenSBI dependencies right

Status: Open.

#121 In seL4/seL4_tools;

· axel-h opened on Sep 27, 2021

style-cmake.sh should not reset file mode

enhancement

Status: Open.

#112 In seL4/seL4_tools;

· lsf37 opened on Sep 3, 2021

elf loader does not parse device tree passend on startup

enhancement

help wanted

Status: Open.

#108 In seL4/seL4_tools;

· axel-h opened on Sep 1, 2021