Search results

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 <code>settings.cmake</code> in <code>default-CMakeLists.txt</code>

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=&lt;path/to/kernel&gt; 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

Use ENABLE_SMP_SUPPORT define

Status: Open.

#96 In seL4/seL4_tools;

· axel-h opened on Jul 9, 2021