external:LAMBDA_LIBRARY_TYPE=default
external:LIBRARY_TYPE=default
profile:lambda=RELEASE
switches:lambda=-O3,-fdata-sections,-ffunction-sections,-gnatW8,-gnatn
version:gnat_arm_elf=15.2.1