Google Git
Sign in
opensecura/build/5f32d2a4e6111a92ede5552a17099664f3d5d457
commit
5f32d2a4e6111a92ede5552a17099664f3d5d457
[log]
author
Cindy Liu <hcindyl@google.com>
Wed Aug 16 11:07:03 2023 -0700
committer
Cindy Liu <hcindyl@google.com>
Wed Aug 16 11:11:26 2023 -0700
tree
46ed85bc88fee91805bf7a9c39d89c8764c11609
parent
44e05966e1e4a35046883283811100c3c95750c7 [diff]
Add kelvin_hello_world target

Change-Id: I09950fd62b3bfd856139489d341712318e78ee68
3 files changed
tree: 46ed85bc88fee91805bf7a9c39d89c8764c11609
  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