seL4/seL4_tools

Issues

• Add Arm spin-table SMP support

  #181 opened 7 months ago by colorglass
  0

• Make ElfLoader object usage the default build

  #176 opened 10 months ago by axel-h
  0

• elfloader: issues with Arm's linker script

  #172 opened a year ago by heshamelmatary
  1

• Cannot generate opensbi/platform/generic/firmware/fw_payload.elf

  #169 opened a year ago by tkf2019
  5

• Setting `UseRiscVOpenSBI` has no affect

  #164 opened a year ago by Ivan-Velickovic
  2

• IMAGE_START_ADDR vs actual start address on RISC-V

  #148 opened 2 years ago by Ivan-Velickovic
  1

• elfloader-tool: MAIR attributes for aarch64 (question)

  #145 opened 2 years ago by malus-brandywine
  1

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

  #141 opened 2 years ago by guidoj
  2

• asm code calls clear_bss without a valid stack pointer

  #84 opened 2 years ago by axel-h
  2

• RISC-V linker issues for 32-bit simulation

  #76 opened 3 years ago by nomadeel
  1

• Elfloader crashes on ARMv7 platforms with external L2 Cache controller

  #131 opened 3 years ago by kent-mcleod
  0

• RISC-V assembly startup code looks broken

  #114 opened 3 years ago by axel-h
  16

• set OpenSBI dependencies right

  #121 opened 3 years ago by axel-h
  0

• macOS shell touch binary implement not support "@0" alias

  #119 opened 3 years ago by HHPLow
  2

• style-cmake.sh should not reset file mode

  #112 opened 3 years ago by lsf37
  1

• print_cpuid assumes implementer is ARM

  #109 opened 3 years ago by bennoleslie
  1

• print_cpuid display incorrect data for at least Cortex-A35

  #43 opened 3 years ago by bennoleslie
  2

• Core ID strings are only valid for CPUID_IMPL_ARM

  #110 opened 3 years ago by axel-h
  1

• On a risc-v build, the second argument received from OpenSBI seems to be getting clobbered

  #102 opened 3 years ago by mpolitzer
  2

• elf loader does not parse device tree passend on startup

  #108 opened 3 years ago by axel-h
  0

• ElfLoader CPU-ID display is incorrect

  #106 opened 3 years ago by bennoleslie
  2

• Use ENABLE_SMP_SUPPORT define

  #96 opened 3 years ago by axel-h
  0

• Bad hack to work around a CMake bug

  #79 opened 3 years ago by nomadeel
  0

• elfloader, Arm: Issues with clearing .bss and stack regions during early init

  #65 opened 3 years ago by kent-mcleod
  1

• ElfLoader should use monitor.S only if CONFIG_ARM_MONITOR_HOOK is set

  #47 opened 3 years ago by axel-h
  2

• delete merged and stale branches

  #55 opened 3 years ago by axel-h
  3

• build error for picoserver: pico_stack.h not found

  #63 opened 3 years ago by baohaojun
  1

• make menuconfig does not detect ncurses correctly

  #1 opened 7 years ago by philipderrin
  1

• Default branch for this repo is 2.0.x-compatible

  #3 opened 8 years ago by jdub
  1