8000 Commits · Hensoldt-Cyber/seL4_tools · GitHub

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

Commits

Commits on Jun 12, 2024

cmake: Support binary build for imx8mp-evk

nomadeel
authored and
kent-mcleod
committed

Commits on Jun 11, 2024

Add support for Pine64 Star64
Ivan-Velickovic
committed

Commits on Apr 28, 2024

misc: remove deprecated astyle option

Ivan-Velickovic
authored and
lsf37
committed

Commits on Mar 12, 2024

CI: cancel older concurrent PR runs

axel-h
authored and
lsf37
committed
CI: the seL4/machine_queue repo is public now

axel-h
authored and
lsf37
committed

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 Feb 7, 2024

github: bump actions to node20
lsf37
committed

Commits on Jan 25, 2024

lld: Enable building C projects without crt files

heshamelmatary
authored and
lsf37
committed

Commits on Jan 12, 2024

CI: bring back compiler to matrix

axel-h
authored and
lsf37
committed

Commits on Jan 11, 2024

CI: simulation and HW build with LLVM on RISCV

axel-h
authored and
lsf37
committed

Commits on Oct 26, 2023

github: bump GitHub action versions
lsf37
committed

Commits on Oct 23, 2023

cmake_tool: Build binaries for rocket chip plats

Furao
authored and
Ivan-Velickovic
committed
cmake_tool: Add Rocketchip platform_strings

Furao
authored and
Ivan-Velickovic
committed

Commits on Oct 4, 2023

Update machine type for simulation in QEMU

lopzek
authored and
Ivan-Velickovic
committed

Commits on Sep 11, 2023

change touch to be portable

alwin-joshy
authored and
lsf37
committed

Commits on Aug 24, 2023

elfloader: Add ElfloaderPrecompile option
kent-mcleod
committed

Commits on Jul 13, 2023

Fix RISC-V compilation with recent GCC (#171)
wom-bat
authored

Commits on Jun 1, 2023

Commits on May 4, 2023

Fix `UseRiscVOpenSBI` CMake option

Ivan-Velickovic
authored and
kent-mcleod
committed

Commits on May 3, 2023

Add dry run option to simulate script

Ivan-Velickovic
authored and
lsf37
committed

Commits on Mar 21, 2023

elfloader: don't shadow variable

Axel Heider
authored and
lsf37
committed
gitlint: enable regex-style-search explicitly

Axel Heider
authored and
lsf37
committed

Commits on Nov 21, 2022

Add Quartz64 support

housel
authored and
lsf37
committed

Commits on Nov 13, 2022

cmake: support qemu-riscv-virt platform

Axel Heider
authored and
lsf37
committed

Commits on Oct 19, 2022

cmake_tool: add zynqmp to platform_strings

chrisguikema
authored and
lsf37
committed

Commits on Jul 6, 2022

shoehorn: handle missing kernel.elf

Axel Heider
authored and
lsf37
committed

Commits on Jun 30, 2022

CMake: warn if KERNEL_FLAGS_PATH is missing

Axel Heider
authored and
kent-mcleod
committed
CMake: warn if ElfloaderImage is missing

Axel Heider
authored and
kent-mcleod
committed
CMake: remove unused variable

Axel Heider
authored and
kent-mcleod
committed

0