Google GitGoogle Git
Sign in
opensecura/build/30b4a7187a1423eaba8bbbd53f1a09384755ed01
commit
30b4a7187a1423eaba8bbbd53f1a09384755ed01
[log]
author
Cindy Liu <hcindyl@google.com>
Mon Jul 31 12:37:04 2023 -0700
committer
Cindy Liu <hcindyl@google.com>
Mon Jul 31 12:42:09 2023 -0700
tree
77b9bce8a0679022e7f9980caead516ee8535528
parent
6e601712146cea5ab7cfd1b2c8acef2861f4bc97 [diff]
Add kelvin SW test target

Change-Id: I4e2fe6a26aa1a91f5ae9426592af3093caa4bc39
2 files changed
tree: 77b9bce8a0679022e7f9980caead516ee8535528
  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. flatbuffers.mk
  10. helpmemake.awk
  11. Makefile
  12. minisel.mk
  13. preamble.mk
  14. setup.sh
  15. shodan.code-workspace
  16. spike.mk
  17. toolchain.mk