- d6fd938 boards: track run_command change for local targets by Sam Leffler · 12 months ago master
- 5c35bb9 Merge remote-tracking branch 'upstream/main' into update by Sam Leffler · 12 months ago
- df0bade run-sonata-1.0.sh: build uf2 files for all firmware slots. by Robert Norton-Wright · 12 months ago
- e7ddaa5 Add Sonata 1.0 and 1.1 board descriptions. by David Chisnall · 12 months ago
- 7b7570b Cleanup vestigal references to heap_claim_fast. by Robert Norton-Wright · 12 months ago
- 609b920 Now we have hyperram support we can run the test suite on sonata. by Robert Norton-Wright · 12 months ago
- 8884c3b Add hyperram support on Sonata v1. by Robert Norton-Wright · 12 months ago
- a6ff6da Add define to send stderr to stdout and enable for sonata. by Robert Norton-Wright · 12 months ago
- 09a9ce5 Use magic string to exit on sonata-simulator. by Robert Norton-Wright · 12 months ago
- 52a1ba4 tests/thread_pool: remove extraneous test by Nathaniel Wesley Filardo · 12 months ago
- 6bbbedc allocator-test: fix trusted stack revocation probe by Nathaniel Wesley Filardo · 12 months ago
- effe3da tests: conditionalize candperms ~gl by Nathaniel Wesley Filardo · 12 months ago
- 95ba13d Fix multiwaiter public header. (#419) by David Chisnall · 12 months ago
- 7c12bd5 Fix revoker scan regions. by Robert Norton-Wright · 12 months ago
- 0e44bfa allocator-test: probe revocation in more places by Nathaniel Wesley Filardo · 12 months ago
- 7713bde s/simulator/run_command/ by David Chisnall · 12 months ago
- 3cffc5c Add some limited JSON Patch support for board description files. by David Chisnall · 12 months ago
- f485b5d Add run script for sonata v1. by Robert Norton-Wright · 12 months ago
- dc1e78b Fix some error cases in run-sonata.sh. by Robert Norton-Wright · 12 months ago
- bea973d Reset the colour correctly after assertion failures. by David Chisnall · 12 months ago
- e5dd588 Some improvements for custom debug output. by David Chisnall · 12 months ago
- 12255a0 allocator: remove redundant check by Nathaniel Wesley Filardo · 1 year, 1 month ago
- ed42a9a allocator-test: test_large_token OK to block by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 2a48062 allocator-test: ensure exhaustion includes quarantine by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 351f104 allocator-test: test_revoke take heap size by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 0b3de7f allocator-test: reduce assumptions about heap size by Sam Leffler · 1 year, 1 month ago
- b36894e allocator-test: probe token alloc error path by Nathaniel Wesley Filardo · 1 year ago
- 0a58f8f Hardware revoker: correct wait for indicated epoch by Nathaniel Wesley Filardo · 1 year ago
- 2105f28 cxxrt guard: stop using cassert, check futex_wake result (#404) by Nathaniel Wesley Filardo · 12 months ago
- 04e495b Remove 'sched' namespace in scheduler. by Robert Norton-Wright · 12 months ago
- a49f4e9 Fix scheduler compartment name used in DECLARE_INTERRUPT_CAPABILITY. by Robert Norton-Wright · 12 months ago
- 596b091 Use the new __cheriot_minimum_stack__ when performing stack checks. by Owen Anderson · 12 months ago
- 37b94cf Rename heap_claim_fast. by David Chisnall · 12 months ago
- d172207 Improve futex_wake behaviour. by David Chisnall · 12 months ago
- 63b732b Fix Sonata v0.2 Ethernet headers. by David Chisnall · 12 months ago
- e60e056 Rename sched and alloc compartments to scheduler and allocator. (#403) by Robert Norton · 12 months ago
- b566982 Disable machine-outlining on sonata_simulator to fix CI. (#411) by Robert Norton · 12 months ago
- 08e6f46 Use cgettop where appropriate. by David Chisnall · 1 year ago
- d51f4ca treewide: clang format and tidy for the new compiler (#409) by Nathaniel Wesley Filardo · 12 months ago
- a9e6aa5 Allow boards to specify CXFLAGS, and use that to disable machine outlining for Sonata. by Owen Anderson · 1 year ago
- 031bd58 allocator-test: workaround inliner vs. branch reach by Nathaniel Wesley Filardo · 1 year ago
- 1e5c576 tests: catch up with compiler warnings by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 6494f41 elifdef is C23 by Nathaniel Wesley Filardo · 1 year ago
- aa6b901 microvium: supporess new warning by Nathaniel Wesley Filardo · 1 year ago
- 3e1689b allocator: avoid calling our own heap_free entry by Nathaniel Wesley Filardo · 1 year ago
- 1162a88 allocator: update stack usage thresholds by Nathaniel Wesley Filardo · 1 year ago
- 02d7044 lib/queue/compartment: propagate token destroy returns by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 3e94426 lib/event_group: propagate heap_free result by Nathaniel Wesley Filardo · 1 year, 1 month ago
- bf7657e lib/compartment_helpers: ignore futex_timed_wait result by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 7c5182c scheduler: entrypoint "returns" int by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 69510fc allocator: bail if we can't sleep by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 8e74762 thread_pool: discard result of token_obj_destroy by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 857ad1f software_revoker: revoker_tick return 0 by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 9c46296 c++ atomic: explicitly discard futex_wake result by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 6cbc510 thread_pool: async: propagate result to caller by Nathaniel Wesley Filardo · 1 year, 1 month ago
- cfc5847 thread_pool_run: nontermination checks at any type by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 2735b54 FreeRTOS-Compat: vTaskDelay cannot signal failures by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 791be0c thread_millisecond_wait: SIMULATION really can ignore sleep failures by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 838c1b8 allocator: heap_quarantine_empty int return by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 883d2cc Tidy simulation_exit by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 5608fca allocator: token_alloc tweaks by Nathaniel Wesley Filardo · 1 year ago
- b5b9a9c allocator: correct token alloc error path by Nathaniel Wesley Filardo · 1 year ago
- 2d29c2b token: introduce Sealed::is_valid by Nathaniel Wesley Filardo · 1 year ago
- b1b3509 sonata: Added Pinmux to the board description file by Hugo McNally · 1 year, 2 months ago
- d97536c sonata: Added a driver for the pinmux by Hugo McNally · 1 year, 1 month ago
- cfef2b4 lints: Removed v0.2 versions of the sonata drivers by Hugo McNally · 1 year, 2 months ago
- 80470dc sonata: ethernet driver now uses SPI block CS lines by Hugo McNally · 1 year, 2 months ago
- 50064c9 sonata: v1.0 SPI block driver by Hugo McNally · 1 year, 2 months ago
- 8915a42 sonata: Added SPI blocks to the board description file by Hugo McNally · 1 year, 2 months ago
- 1fbf196 sonata: moved v0.2 Ethernet driver into v0.2 directory by Hugo McNally · 1 year, 2 months ago
- 0da58e6 sonata: moved the v0.2 SPI driver into v0.2 directory by Hugo McNally · 1 year, 2 months ago
- de50689 GitHub CI: workflow_dispatch container input by Nathaniel Wesley Filardo · 1 year ago
- 7bef595 fix xmake nightly by Nathaniel Wesley Filardo · 1 year ago
- 67be709 Prune stale FLUTE support by Nathaniel Wesley Filardo · 1 year ago
- ad1ae03 Add C-style builtins as C++ static inline functions. by David Chisnall · 1 year ago
- d038cbb Clean up cheri-builtins.h by David Chisnall · 1 year ago
- b944342 Fix bugs in generate_compiler_commands.sh by David Chisnall · 1 year, 1 month ago
- f5eb070 Fix CI after last fix. by David Chisnall · 1 year, 1 month ago
- 76a276a Fix the name of the script to generate compile commands. by David Chisnall · 1 year, 1 month ago
- 4c8d428 Introduce tests.extra/hardware_revoker_IRQs by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 1a4b9b4 Fix pattern used when removing old tidy.fail files. by Robert Norton-Wright · 1 year, 1 month ago
- 8f4e7e1 Run clang-format before clang-tidy as it is much quicker. by Robert Norton-Wright · 1 year, 1 month ago
- 8bc5942 Add -DCLANG_TIDY when running clang tidy. by Robert Norton-Wright · 1 year, 1 month ago
- 68db967 Add script to generate compiler_commands.json for all projects by Robert Norton-Wright · 1 year, 1 month ago
- 2c7fe53 Pass only one file for each clang-tidy invocation. by Robert Norton-Wright · 1 year, 1 month ago
- 8b1b2fb Generate compile_commands.json for tests.extra projects. by Robert Norton-Wright · 1 year, 1 month ago
- 39da201 allocator-test: add basic "can we malloc and free" by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 8c84592 allocator-test/fuzz: stochastic necromancy test by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 1e63239 sonata-prerelease: revoker IRQ is edge triggered by Nathaniel Wesley Filardo · 1 year, 1 month ago
- ad97c4f Heap render debugging facility (#377) by Nathaniel Wesley Filardo · 1 year, 1 month ago
- c5a5f19 Add tests.extra to directory list in run_clang_tidy_format.sh by Robert Norton-Wright · 1 year, 1 month ago
- 315843c Merge remote-tracking branch 'spacebeaker/upstream' into update by Sam Leffler · 1 year, 1 month ago
- 9d2c020 ibex: the revoker IRQ is edge-triggered by Nathaniel Wesley Filardo · 1 year, 1 month ago
- c633c64 Fix a bug in thread exits. by David Chisnall · 1 year, 1 month ago
- ce9e047 test/multiwaiter: check that we clean up correctly by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 9853bf5 scheduler: use token API when destroying objects by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 2625f2d allocator: fix free space accounting by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 4ba6792 tests/misc: check sealed vs. local/global by Nathaniel Wesley Filardo · 1 year, 1 month ago
- dac4514 cheri.hh: add Capability::without_permissions by Nathaniel Wesley Filardo · 1 year, 1 month ago
- 5b83b7b Action updated from v3 to v4 by Marno van der Maas · 1 year, 1 month ago
