| # | |
| # Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) | |
| # | |
| # SPDX-License-Identifier: BSD-2-Clause | |
| # | |
| cmake_minimum_required(VERSION 3.7.2) | |
| # Hook for CAmkES build system. This allows CAmkES projects to | |
| # force a particular rootserver location. | |
| function(SetElfloaderRootserversLast) | |
| set(ElfloaderRootserversLast ON CACHE BOOL "" FORCE) | |
| endfunction() | |
| # Hook for sel4test to effect shoehorn work. | |
| function(SetElfloaderFudgeFactor FUDGE) | |
| set(ElfloaderFudgeFactor ${FUDGE} CACHE STRING "" FORCE) | |
| endfunction() |