8000 Commits · Hensoldt-Cyber/seL4_tools · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Feb 19, 2024

elfloader: Check return code of device init

kent-mcleod
authored and
Indanz
committed
elfloader: Remove non_boot_init() interface

kent-mcleod
authored and
Indanz
committed
elfloader: Only include driver source on arm

kent-mcleod
authored and
Indanz
committed
elfloader: Replace calls to reset_cntvoff

kent-mcleod
authored and
Indanz
committed
elfloader: Add generic-timer driver

kent-mcleod
authored and
Indanz
committed
elfloader: Add driver callback for non-boot core

kent-mcleod
authored and
Indanz
committed

Commits on Aug 24, 2023

elfloader: Add ElfloaderPrecompile option
kent-mcleod
committed

Commits on Jun 1, 2023

rpi4: set default elfloader settings for aarch32

kent-mcleod
authored and
lsf37
committed

Commits on Feb 6, 2022

elfloader,RISC-V: Fix early boot issues
kent-mcleod
committed

Commits on Oct 27, 2021

rootserver.cmake: Find readelf in old CMake
kent-mcleod
committed

Commits on Oct 15, 2021

cmake,cpio: Don't create folder at source location
kent-mcleod
committed

Commits on Oct 13, 2021

cmake-tool,environment_flags: Don't cache tests
kent-mcleod
committed

Commits on Oct 8, 2021

rootserver.cmake: remove use of config_option
kent-mcleod
committed

Commits on Sep 30, 2021

Commits on Aug 4, 2021

elfloader: Use file(GENERATE) for static headers
kent-mcleod
committed

Commits on Jun 24, 2021

rootserver.cmake: Set opensbi ABI and ARCH config

kent-mcleod
authored and
lsf37
committed

Commits on Jun 2, 2021

cmake: Remove misleading diagnostic
kent-mcleod
committed
cmake: fix execute_process_with_stale_check error

kent-mcleod
authored and
nomadeel
committed

Commits on Apr 16, 2021

elfloader: Put back core_stack_alloc for EFI
kent-mcleod
committed

Commits on Apr 14, 2021

elfloader: Move stack allocation out of _bss range

kent-mcleod
authored and
oliver-wm
committed
elfloader: Add -fno-common compile option

kent-mcleod
authored and
oliver-wm
committed

Commits on Aug 19, 2020

external-project-helpers: Support multiple calls

kent-mcleod
authored and
Damon Lee
committed

Commits on Jul 22, 2020

environment_flags: Prevent undef. variable deref
kent-mcleod
committed

Commits on Jul 10, 2020

cmake: Disable unaligned memory access on Arm
kent-mcleod
committed
elfloader: Remove optimization config restrictions
kent-mcleod
committed
elfloader: Make switch_to_hyp_mode more precise
kent-mcleod
committed
elfloader: Disable unaligned memory access on Arm
< AE20 button data-component="IconButton" type="button" data-testid="commit-row-show-description-button" aria-pressed="false" aria-expanded="false" class="prc-Button-ButtonBase-c50BI Button Button--iconOnly Button--invisible Button--small ml-1 prc-Button-IconButton-szpyj" data-loading="false" data-no-visuals="true" data-size="medium" data-variant="default" aria-describedby=":R1ojcum79fab:-loading-announcement show-description-a8111d4" aria-labelledby="show-description-a8111d4">
kent-mcleod
committed

Commits on Feb 17, 2020

Add misc/README.md
kent-mcleod
committed

Commits on Dec 9, 2019

Commits on Nov 28, 2019

cmake,memoize: Check empty path before absolute
kent-mcleod
committed

Commits on Nov 27, 2019

memoize: Use git diff instead of diff-index
kent-mcleod
committed

Commits on Nov 26, 2019

0