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