cheriot-baremetal: depend on compiler emitting -D__CHERIOT_BAREMETAL__

The CHERIoT compiler automatically emits a #define for __CHERIOT_BAREMETAL__
when run with -mabi=cheriot-baremetal; adjust accordingly.

Change-Id: I9653ca553d8eb937eb563a342643993e1eed4bf3
2 files changed
tree: 97d262193299bb413bcef99002cb58dbe1d4d81a
  1. patches/
  2. platforms/
  3. cantrip.mk
  4. cantrip_apps.mk
  5. cantrip_builtins.mk
  6. cantrip_sel4test.mk
  7. cantrip_tests.mk
  8. cantrip_tools.mk
  9. CONTRIBUTING.md
  10. cores.mk
  11. helpmemake.awk
  12. LICENSE
  13. Makefile
  14. minisel.mk
  15. preamble.mk
  16. README.md
  17. setup.sh
  18. shodan.code-workspace
  19. toolchain.mk
  20. verilator.mk
README.md

Top Level Build repository

This is the project containing all the top-level build targets of all the projects within the GoB to set up the environment and build the e2e artifacts.