Google Git
Sign in
opensecura / 3p / cheriot-rtos / HEAD
  1. 6362aa5 Merge "sencha: track hardware memory map" by Sam Leffler · 35 hours ago master
  2. 78c1eea sencha: track hardware memory map by Sam Leffler · 5 weeks ago
  3. e1dde9e Merge remote-tracking branch 'upstream/main' into update by Sam Leffler · 7 days ago
  4. dc960d0 token_unseal: commentary and symbolic names by Nathaniel Wesley Filardo · 7 days ago
  5. e8d3881 token_unseal: leave scalar in temporary register by Nathaniel Wesley Filardo · 7 days ago
  6. 3fb572f token_unseal: use cgettop by Nathaniel Wesley Filardo · 5 weeks ago
  7. 89b62f1 Make ecall inline asm as clobbering memory, which acts as a compiler barrier. by Owen Anderson · 7 days ago
  8. 27e4735 Regression test for IRQs on thread exit path by Nathaniel Wesley Filardo · 9 days ago
  9. 043ba9b switcher: ensure IRQs deferred on exit path by Nathaniel Wesley Filardo · 9 days ago
  10. 67e36e3 scheduler: Debug assert IRQs deferred on exception by Nathaniel Wesley Filardo · 10 days ago
  11. ac57fc3 sonata: split the USB's packet_receive function by Hugo McNally · 8 days ago
  12. a0f0b97 sonata: Added a driver for the OpenTitan USB block by Hugo McNally · 2 weeks ago
  13. 8df0dc9 Eliminate use of #elifdef by Owen Anderson · 8 days ago
  14. cee7aa7 Fix typos in tests by Owen Anderson · 8 days ago
  15. 3737db3 unwind: export and use symbolic names in assembler by Nathaniel Wesley Filardo · 13 days ago
  16. 0c1be01 setjmp: export symbolic offsets in assembler by Nathaniel Wesley Filardo · 13 days ago
  17. a21922d assembly-helpers: correct macro definition by Nathaniel Wesley Filardo · 13 days ago
  18. c459006 tests/crash_recovery: verify IRQ state in handler by Nathaniel Wesley Filardo · 10 days ago
  19. cf97d5e switcher: enable IRQs while in fault handlers by Nathaniel Wesley Filardo · 10 days ago
  20. f7c08ee NFC CHERI: move sealing type definitions to C by Nathaniel Wesley Filardo · 10 days ago
  21. b26250c NFC CHERI: move some definitions from C++ to C by Nathaniel Wesley Filardo · 10 days ago
  22. 603434d Fight xmake CI more. by David Chisnall · 10 days ago
  23. f354409 One more attempt at xmake CI. by David Chisnall · 10 days ago
  24. e925965 Anther attempt at xmake CI. by David Chisnall · 10 days ago
  25. fbee003 Try to debug xmake nightly job failure. by David Chisnall · 10 days ago
  26. bccba2a switcher: symbolic names of seal types by Nathaniel Wesley Filardo · 4 weeks ago
  27. a6966a4 switcher: symbolic names of switcher mcause values by Nathaniel Wesley Filardo · 4 weeks ago
  28. e9ad0f2 switcher: move some constants to misc-assembly.h by Nathaniel Wesley Filardo · 14 days ago
  29. 85122f6 assembly-helper: introduce two new forms by Nathaniel Wesley Filardo · 14 days ago
  30. 62ca32b Fix bashism. by David Chisnall · 13 days ago
  31. 3d9851e Don't uninstall xmake in the nightly test. by David Chisnall · 13 days ago
  32. 46eaf4f Fix username in nightly test job. by David Chisnall · 13 days ago
  33. 3ceb170 Fix name of nightly job. by David Chisnall · 13 days ago
  34. 7b1755b Run nightly tests with new xmake versions. by David Chisnall · 13 days ago
  35. bcc717a Fix the build. by David Chisnall · 13 days ago
  36. a24ecbf RTOS fixes required to build with clang-17 by Owen Anderson · 13 days ago
  37. d0c682e clang-tidy: Added readability-braces-around-statements check (#338) by Hugo McNally · 14 days ago
  38. 82a113c sonata: now using a macro to set default baud rate by Hugo McNally · 2 weeks ago
  39. 716e904 sonata: UART fix receive_watermark and tolerate FIFO size changes by Hugo McNally · 2 weeks ago
  40. 7594bdf Type fixed in uf2utils by Marno van der Maas · 2 weeks ago
  41. 76a7a27 fail-simulator-on-error: no special case for exit by Nathaniel Wesley Filardo · 3 weeks ago
  42. cb93769 loader: populate threads' initial cra by Nathaniel Wesley Filardo · 3 weeks ago
  43. 6901576 switcher/loader: export switcher_skip_compartment_call by Nathaniel Wesley Filardo · 3 weeks ago
  44. d70f730 loader: teach boot.cc about return sentries by Nathaniel Wesley Filardo · 3 weeks ago
  45. d543e4c switcher: change TrustedStack underflow to exit by Nathaniel Wesley Filardo · 3 weeks ago
  46. c6549f7 switcher: cra is available after inlining by Nathaniel Wesley Filardo · 3 weeks ago
  47. 069a640 switcher: inline .Lpop_trusted_stack_frame by Nathaniel Wesley Filardo · 3 weeks ago
  48. dec3e87 switcher: common up unwind paths by Nathaniel Wesley Filardo · 3 weeks ago
  49. 9c2049a switcher: correct sufficient stack space check by Nathaniel Wesley Filardo · 3 weeks ago
  50. 6f3b7d9 Make longjmp noreturn. by Robert Norton · 3 weeks ago
  51. 299de3a Add cheriot-audit example. by David Chisnall · 3 weeks ago
  52. 480f16e No-op merge to recover history of #326 by Nathaniel Wesley Filardo · 3 weeks ago
  53. 5344b71 Switcher fixes from #320 (#326) by Nathaniel Wesley Filardo · 3 weeks ago
  54. 4e73d21 switcher: move invocation local reservation by Nathaniel Wesley Filardo · 3 weeks ago
  55. ecee2b4 switcher: remove CONFIG_NO_SWITCHER_SAFETY support by Nathaniel Wesley Filardo · 5 weeks ago
  56. b9d2191 switcher: faults in cross-call spill return error by Nathaniel Wesley Filardo · 4 weeks ago
  57. 7b33c9f switcher: fix error handling in topmost invocation by Nathaniel Wesley Filardo · 4 weeks ago
  58. 1d35c0a switcher: rmn's find in stackless handling by Nathaniel Wesley Filardo · 4 weeks ago
  59. c4e6ab1 switcher: rmn's find in MSHWM stack zeroing by Nathaniel Wesley Filardo · 4 weeks ago
  60. 08f0bcb Static assert ErrorState & TrustedStack layouts by Nathaniel Wesley Filardo · 4 weeks ago
  61. ce7fc5e Make `unwind.h` a C-compatible header. by Hugo Lefeuvre · 4 weeks ago
  62. 5ba56e5 Make the headers more bare-metal friendly. by David Chisnall · 6 weeks ago
  63. c3c0fb1 Simplify message queues. by David Chisnall · 4 weeks ago
  64. ce5ad17 Remove space reserved at the start of privileged compartments. by David Chisnall · 5 weeks ago
  65. b9f206a Separate static and dynamic sealing types. by David Chisnall · 5 weeks ago
  66. 5551236 NFC: switcher: always use registers' psABI names (#315) by Nathaniel Wesley Filardo · 5 weeks ago
  67. b6875ba More defence in the thread unwind path. by David Chisnall · 5 weeks ago
  68. e15fe44 Clean up the thread-exit path. by David Chisnall · 5 weeks ago
  69. e7f4962 Capability.bounds().set_inexact_at_most() fixes (#312) by Nathaniel Wesley Filardo · 6 weeks ago
  70. ca1fdc6 sencha/bancha: use OpenTitan uart by Sam Leffler · 6 weeks ago
  71. 3ab6978 Add a Capability::bounds().set_inexact_at_most() method (#310) by Nathaniel Wesley Filardo · 6 weeks ago
  72. e4558ce bancha: leave space for the OpenTitan secure boot manifest by Sam Leffler · 7 weeks ago
  73. b905ede Merge remote-tracking branch 'upstream/main' into update by Sam Leffler · 7 weeks ago
  74. 78a5a21 Disable including the ELF headers in the firmware image. by Sam Leffler · 7 weeks ago
  75. c144643 Don't invoke error handlers when the callee errors. by David Chisnall · 7 weeks ago
  76. b406460 Remove redundant includes in xmake. by David Chisnall · 7 weeks ago
  77. e24f257 bancha: add more peripherals by Sam Leffler · 3 months ago
  78. 069e20a Add support for stackless error handlers. by David Chisnall · 9 weeks ago
  79. e4ebccc Allow the error invocation handler count to be reset. by David Chisnall · 9 weeks ago
  80. 5489c58 Add setjmp and setjmp-based error handling. by David Chisnall · 9 weeks ago
  81. 7cd96a6 Add space at the start of the stack for per-invocation state. by David Chisnall · 9 weeks ago
  82. 357b0a2 Merge remote-tracking branch 'spacebeaker/upstream_gh' into update by Sam Leffler · 2 months ago
  83. 5763f0f Add Sonata ADC driver by Alex Jones · 3 months ago
  84. 58ed3e3 Add ADC to Sonata board file by Alex Jones · 3 months ago
  85. 09ad3a9 Add memrchr to the string library. by Sam Leffler · 3 months ago
  86. d8cfd52 Add stdalign.h and stdnoreturn.h. (#295) by David Chisnall · 3 months ago
  87. d268dc7 string.h: adjust memchr return value by Sam Leffler · 3 months ago
  88. 3b6d012 Fix atomicity of Sonata ethernet driver. by David Chisnall · 3 months ago
  89. 6405d1e Add Sonata PWM Driver by Alex Jones · 3 months ago
  90. 572752a Add PWM to Sonata board file by Alex Jones · 3 months ago
  91. 0c22b99 Sleep better with queues. by David Chisnall · 3 months ago
  92. d562df7 boards: initial bancha board support. by Sam Leffler · 6 months ago
  93. 2d97b8f Sonata Ethernet driver cleanups. by David Chisnall · 3 months ago
  94. 4fd48f6 Fix a bug in the Sonata Ethernet driver. by David Chisnall · 3 months ago
  95. 4322b6a Fix basename usage. by David Chisnall · 3 months ago
  96. 0358a97 Merge remote-tracking branch 'upstream/main' into update by Sam Leffler · 3 months ago
  97. 96b22d4 Reduce the permissions on hazard pointers. by David Chisnall · 3 months ago
  98. c744ab2 Add initial support for pre-shared globals. (#283) by David Chisnall · 3 months ago
  99. 64d8460 Add more examples of temporal safety (#279) by Phil Day · 4 months ago
  100. 9baefdb Added functionality to the OpenTitanUart driver. by Hugo McNally · 4 months ago