Skip to content

HAL: Only use one linker Array easier for proving in FramaC

Andreas Werner requested to merge projekte_werner/diss/freertoshal/fhal-mach:one_hal_array_now into master

Merge request reports