Google Git
Sign in
opensecura / 3p / sel4 / camkes-tool / refs/heads/master / camkes.cmake
  1. 5d7c33d camkes: Allow c++ source files in camkes component by Thomas Böhm · 3 years, 9 months ago
  2. e12114f cmake: Fix cmake argument marshalling bug by Kent McLeod · 3 years, 10 months ago
  3. 4deed6e camkes-tool: simplify cmake file by Axel Heider · 4 years, 1 month ago
  4. 93e65ef camkes-tool: create file in current output dir by Axel Heider · 4 years, 1 month ago
  5. 34314e5 convert to SDPX license tags by Gerwin Klein · 4 years, 1 month ago
  6. 86ea135 cmake: trivial formatting by Axel Heider · 4 years, 4 months ago
  7. 260ae82 cmake: document function parameters by Axel Heider · 4 years, 5 months ago
  8. be65630 CMake: Skip fetching gpio list for pc99 platforms by Damon Lee · 4 years, 7 months ago
  9. fbf08ad trivial: camkes: Use dtb file directly if provided by Chester Pang · 4 years, 9 months ago
  10. debfa79 trivial: Fix missing include for GenDTB function by Chester Pang · 4 years, 9 months ago
  11. 3c72f0c parser: Add GPIO query engine by Damon Lee · 4 years, 9 months ago
  12. 3e08621 trivial: Fix typo in comment by Axel Heider · 4 years, 10 months ago
  13. 74c0a07 preprocessor: define CAMKES_TOOL_PROCESSING by Axel Heider · 4 years, 9 months ago
  14. a63c1a4 camkes.cmake: Support Connector LIBS by Kent McLeod · 4 years, 10 months ago
  15. d39cd07 trivial: Style camkes.cmake by Kent McLeod · 4 years, 10 months ago
  16. 83e09a2 camkes: Support component header templates by Kent McLeod · 4 years, 11 months ago
  17. 80ce267 camkes: Add support for connector header files by Kent McLeod · 4 years, 11 months ago
  18. 5876235 Remove maybe_perform_optimized_empty_call by Kent McLeod · 5 years ago
  19. dc9cd5e Allow components to define template sources by Kent McLeod · 5 years ago
  20. 8990399 Update camkes-tool to python3 by Kent McLeod · 5 years ago
  21. 5a9a637 runner: Change rendering item selector syntax by Kent McLeod · 6 years ago
  22. 21becfa ast,runner: Remove template field from connector by Kent McLeod · 6 years ago
  23. 9d10b30 trivial: Style unstyled files by Kent McLeod · 5 years ago
  24. 593fc0a CMake: CAMKES_CONFIG_DEFAULT_ADVANCED support by Kent McLeod · 5 years ago
  25. 9494af1 CMake: Use capdl CMake package to define variables by Kent McLeod · 6 years ago
  26. 65c0548 trivial: style changed files by Damon Lee · 6 years ago
  27. ec4541f CMake: Use the kernel's DTB if no path given by Damon Lee · 6 years ago
  28. e6f5c88 CMake: move static alloc settings to toplevel project repo by Japheth Lim · 6 years ago
  29. c90cfaf CMake: support capDL static/dynamic allocation option by Japheth Lim · 6 years ago
  30. f05ccfb CMake: call capDL untyped_gen (not used for allocation yet) by Japheth Lim · 6 years ago
  31. a0300f4 camkes: add TLS support for groups by Anna Lyons · 6 years ago
  32. bc8c801 trivial: Style changed files by Damon Lee · 6 years ago
  33. 16344d7 Call capdl_linker for final capdl spec generation by Kent McLeod · 6 years ago
  34. 2ad93c4 parser: Pass CPP path from CMake by Kent McLeod · 6 years ago
  35. c079896 parser: Default cpp option to set by Kent McLeod · 6 years ago
  36. d717a1e CMake: pass --nocpp if cpp option is off by Kent McLeod · 6 years ago
  37. 233b44b camkes: Split parser stage into own invoke script by Kent McLeod · 6 years ago
  38. f8bdd2a CMake: refactor camkes flag creation by Kent McLeod · 6 years ago
  39. bf4c35f CMake: Remove unused config option by Kent McLeod · 6 years ago
  40. 377be4a CMake: Remove dead verification options by Kent McLeod · 6 years ago
  41. 487f41a cmake: Move config definitions to correct location by Kent McLeod · 6 years ago
  42. 3330ba2 Use helper functions from make.cmake by Kent McLeod · 6 years ago
  43. 8fa4cf5 cmake: Remove camkes.sh by Kent McLeod · 6 years ago
  44. 2157498 cmake: Remove custom environment variables by Kent McLeod · 6 years ago
  45. 2cd239d cmake: Clean up some cmake code by Kent McLeod · 6 years ago
  46. a4287af camkes: Dependency check python files using cmake by Kent McLeod · 6 years ago
  47. 1d4493f camkes: Fix CMake dependency bug by Kent McLeod · 6 years ago
  48. 0bbd796 Remove --fsupport-init flag support by Kent McLeod · 6 years ago
  49. e2ab350 CMake: Allow Camkes runner to use pdb by Kent McLeod · 6 years ago
  50. ae25765 CMake: Remove old delete command by Kent McLeod · 6 years ago
  51. 24ca2b4 cdl-refine: update to work with GrantReply by Japheth Lim · 6 years ago
  52. a909c0f DTS: Use KernelARMPlatform instead of PLATFORM by Kent McLeod · 6 years ago
  53. a20c18e cakeml: DeclareCAmkESComponent dependencies by Michael Sproul · 6 years ago
  54. 2827783 camkes: Pass default-stack-size through camkes by Kent McLeod · 6 years ago
  55. 75c0554 CMake: Added APPEND when building ROOT_CPP_FLAGS by Adam Felizzi · 6 years ago
  56. 23b22f3 Add components directory and basic infrastructure by Anna Lyons · 7 years ago
  57. 68d9f35 cmake: add CAmkESMaybeAddImportPath by Anna Lyons · 7 years ago
  58. 42a0676 cmake: AddCamkesCPPInclude -> CAmkESAddCPPInclude by Anna Lyons · 7 years ago
  59. 0655e05 cakeml: HOL dependency support by Michael Sproul · 6 years ago
  60. 975b28f modify cmake files to save and load ast by Summer Li · 7 years ago
  61. fbd5c1c cmake: add helper for modifying cpp include path by Anna Lyons · 7 years ago
  62. 34ba082 update build system for Isabelle templates by Japheth Lim · 7 years ago
  63. 942a194 CMake: mv capDL-tool commands to capDL-tool.cmake by Kent McLeod · 7 years ago
  64. 5f8d1a9 CMake: Remove BUILD_ALWAYS from capDL-tool project by Kent McLeod · 7 years ago
  65. e13a05e CMake: Use new capDL-tool opt for MaxIRQs by Kent McLeod · 7 years ago
  66. bf8f9c7 trivial: fix typo by Anna Lyons · 7 years ago
  67. 44adb6d Add ability to pass a dts to camkes-tool by Anna Lyons · 7 years ago
  68. cede2f1 Add LINKER_LANGUAGE flag to DeclareCamkesComponent by Kent McLeod · 7 years ago
  69. 94369c4 CMake: Update filepath search strategy by Kent McLeod · 7 years ago
  70. f5d7fd6 CMake: Update paths to not assume toplevel scope by Kent McLeod · 7 years ago
  71. 6eb834f CMake: Delete camkes-gen.cmake if gen fails by Kent McLeod · 7 years ago
  72. 4b2a850 Define CakeML environment by Adrian Danis · 7 years ago
  73. 0fdc9d6 CAMKES-690: Correct sponge emulation by Adrian Danis · 7 years ago
  74. d786bc2 CMake: Declare built in components by Kent McLeod · 7 years ago
  75. 2bf14a0 cmake: Only generate camkes-gen.cmake if it is out of date by Adrian Danis · 7 years ago
  76. e2e2290 cmake: Introduce `regen` variable that will control camkes-gen.cmake regeneration by Adrian Danis · 7 years ago
  77. bd2f375 cmake: Create camkes invocation into temporary string by Adrian Danis · 7 years ago
  78. 5e69b3d cmake: Cause cmake regeneration to happen directly without additional commands by Adrian Danis · 7 years ago
  79. 84a8021 cmake: Helper for parsing makefile dependencies by Adrian Danis · 7 years ago
  80. 0f24c72 cmake: Output dependencies for generated camkes-gen.cmake file by Adrian Danis · 7 years ago
  81. cf76ead cmake: Variable for camkes-gen.cmake location by Adrian Danis · 7 years ago
  82. ca89b10 cmake: Tool paths can be externaly specified by Adrian Danis · 7 years ago
  83. 39b2860 cmake: Extend component instances by Adrian Danis · 7 years ago
  84. 3291bed cmake: Abstract appending the component target information by Adrian Danis · 7 years ago
  85. 810df60 cmake: Allow DeclareCAmkESComponent to be repeatedly called by Adrian Danis · 7 years ago
  86. 7e76a34 cmake: Remove support for compilation cache and accelerator by Adrian Danis · 7 years ago
  87. 4a99eb3 cmake: default camkes priority visible to code by Adrian Danis · 7 years ago
  88. ec8f709 CMake build support for CAmkES by Adrian Danis · 7 years ago