Sign in
opensecura
/
3p
/
cheriot-rtos
/
HEAD
« Previous
57b9e1c
Cleaned up the OpenTitanUart
by Hugo McNally
· 8 months ago
c2b61d6
Added the location of more of Sonata's UART devices.
by Hugo McNally
· 8 months ago
4a09350
Added Sonata's second UART mapping and UART interrupts
by Hugo McNally
· 8 months ago
3aee5ec
Created a sonata board file for the next version.
by Hugo McNally
· 8 months ago
516ffe5
Changed sonata board description to symlink
by Hugo McNally
· 8 months ago
271be9b
Fix #274 (Bug in Sonata I2C header).
by Duncan Lowther
· 8 months ago
c6b80c2
Fix link.
by David Chisnall
· 8 months ago
fdd9a08
fix message in StoreStackPointerToGlobal
by Phil Day
· 8 months ago
08021e6
update ReadMe for example 08 to capture the behaviour of storing non global pointers
by Phil Day
· 8 months ago
aa37314
Fix atomic<T> for pointer types.
by David Chisnall
· 8 months ago
d1c3354
Fix the memory safety example for the non-trapping behaviour.
by David Chisnall
· 8 months ago
d120e00
Add PRNG-based entropy source for sonata
by Gary Guo
· 9 months ago
4ba85d2
Expand ethernet concept to include phy_link_status
by Gary Guo
· 9 months ago
50890aa
Implement KSZ8851 Ethernet driver for Sonata
by Gary Guo
· 9 months ago
d8336b5
Add TEST_EQUAL macro in tests.hh.
by Robert Norton
· 8 months ago
c96843c
fixed typos in readme
by Simon Arnell
· 8 months ago
2b515d7
Add a `FreeRTOS_errno.h` header.
by Hugo Lefeuvre
· 9 months ago
83b39b4
Add `(U)INT_(LEAST|FAST)N_(MIN|MAX)` macros to `stdint.h`.
by Hugo Lefeuvre
· 9 months ago
ba318c1
Add std:string overload for Debug (#255)
by Phil Day
· 9 months ago
de10585
Don't expose printf if we don't have a stdout.
by David Chisnall
· 9 months ago
18de34c
Fix `__builtin_strlen`
by David Chisnall
· 9 months ago
7f4c610
Test and document the linked list from `ds::linked_list`.
by Hugo Lefeuvre
· 9 months ago
db4d635
Add APIs to retrieve the thread ID of the owner of a lock.
by Hugo Lefeuvre
· 9 months ago
58e3aee
Remove accidentally committed debug line
by Nathaniel Wesley Filardo
· 9 months ago
8980c6c
Fix invalid dereference in the `Pointer` proxy. (#249)
by Hugo Lefeuvre
· 9 months ago
eb22621
Update Sonata getting started docs. (#250)
by David Chisnall
· 9 months ago
de6da88
Use @jrtc27's approach to enable large sealed objects.
by David Chisnall
· 9 months ago
0dc631a
Added I2C and RGB LEDs to sonata board description
by Hugo McNally
· 9 months ago
753e3c7
A driver for the Sonata's RGB LED Controller
by Hugo McNally
· 9 months ago
91d0801
Added C standard `isprint()` function
by Hugo McNally
· 9 months ago
f2b0cc1
Added an OpenTitan I2C driver
by Hugo McNally
· 9 months ago
e72a948
Revisit the blocking behavior of `malloc` and `calloc`.
by Hugo Lefeuvre
· 9 months ago
91f34d4
Expose an API for finer control over heap allocator blocking behavior.
by Hugo Lefeuvre
· 9 months ago
706bd61
Differentiate heap/quota exhausted in the return value of `mspace_dispatch`.
by Hugo Lefeuvre
· 9 months ago
75dce8d
Two fixes to the `flags` argument of `futex_timed_wait`.
by Hugo Lefeuvre
· 9 months ago
771f2bb
Fix corner case in tickless scheduling.
by David Chisnall
· 9 months ago
dcbb196
Tickless scheduler
by David Chisnall
· 11 months ago
71ce352
Add missing test file.
by David Chisnall
· 9 months ago
64d8c26
Added Sonata simple SPI driver.
by Hugo McNally
· 10 months ago
7fa3d7f
Sonata has the stack high-water mark register.
by David Chisnall
· 9 months ago
9d9195a
Merge remote-tracking branch 'spacebeaker/upstream' into update
by Sam Leffler
· 10 months ago
b043906
Fixes for VS Code and the dev container.
by David Chisnall
· 10 months ago
22f838f
Improve the Sonata run message.
by David Chisnall
· 10 months ago
d1136b3
Remove `set -u`.
by David Chisnall
· 10 months ago
801ac3c
Add a working `xmake run` command for Sonata.
by David Chisnall
· 10 months ago
c8c0c68
Changed the Sonata instruction memory start
by Hugo McNally
· 10 months ago
d0aa667
Update the compartmentalisation exercise.
by David Chisnall
· 10 months ago
6d49cad
Added support of Sonata's switches.
by Hugo McNally
· 10 months ago
3ae66d7
Added support for Sonata's joystick.
by Hugo McNally
· 10 months ago
aa90d6e
fix typos in examples READMEs
by Phil Day
· 10 months ago
5b6d221
Set appropriate bits in `eventgroup_destroy_force`.
by Hugo Lefeuvre
· 10 months ago
18c6fa8
Add type-safe debugging macros for C.
by David Chisnall
· 10 months ago
c50d78f
Fix epoch calculation in the allocator.
by David Chisnall
· 10 months ago
3bb8a1b
Remove the exciting jump instruction from boot.S
by David Chisnall
· 10 months ago
7ef24d9
Fix Sonata's memory layout.
by David Chisnall
· 10 months ago
4fdb918
Use `ssize_t` return value for `heap_quota_remaining` and `heap_claim`.
by Hugo Lefeuvre
· 10 months ago
8671ae2
Document stack check return values in allocator documentation.
by Hugo Lefeuvre
· 10 months ago
b35d1d9
Convert `heap_allocate` null pointer check to valid tag checks.
by Hugo Lefeuvre
· 10 months ago
7d3138e
Document allocator API failure handling.
by Hugo Lefeuvre
· 10 months ago
18df7ca
Make printf use the platform UART.
by David Chisnall
· 10 months ago
3e0eaf0
Add missing stack check.
by David Chisnall
· 10 months ago
16bb51b
Tweak to CODE_OF_CONDUCT.md directing employees to moderation support as required by new standard.
by Robert Norton
· 10 months ago
3ff0dda
stdlib `malloc` should not block indefinitely.
by Hugo Lefeuvre
· 10 months ago
e8dfab9
Update running on Arty A7 instructions to highlight clock speed information
by speedy-h
· 10 months ago
f66758d
Cleaned up the wait functions.
by Hugo McNally
· 10 months ago
b6d189d
Fixed overflows in wait functions
by Hugo McNally
· 10 months ago
ed3a86f
Fixed sunburst's LED mask (#217)
by Hugo McNally
· 10 months ago
c6bcc8c
Fix buffer overflow in the FreeRTOS compat queue.
by Hugo Lefeuvre
· 10 months ago
75ed409
Properly zero the shadow memory on Sonata.
by David Chisnall
· 10 months ago
aa8ea75
Add missing IBEX define for Sonata.
by David Chisnall
· 10 months ago
e1757a5
Fix the GPIO pins for Sonata.
by David Chisnall
· 10 months ago
e82e8d3
Added SonataGPIO with basic LED functionality
by Hugo McNally
· 10 months ago
f345751
Increased Sonata's memory to 256KiB and added PLIC.
by Hugo McNally
· 10 months ago
781c773
Added board description for the sonata board.
by Hugo McNally
· 11 months ago
ec8b7f1
Added driver for the OpenTitan UART block
by Hugo McNally
· 12 months ago
c3c169a
Fix an assertion in the loader.
by David Chisnall
· 11 months ago
068cb71
Add a `release` API to `LockGuard`.
by Hugo Lefeuvre
· 11 months ago
1091a32
Add a `eventgroup_destroy_force` API.
by Hugo Lefeuvre
· 11 months ago
4619aaa
Add CI support for merge queues.
by David Chisnall
· 10 months ago
012005a
Add a `queue_destroy` API.
by Hugo Lefeuvre
· 11 months ago
66c044a
Make it possible to upgrade a lock for destruction without holding it.
by Hugo Lefeuvre
· 11 months ago
d66cc7a
Removed trailing comment in error message.
by Hugo McNally
· 11 months ago
fe2c9dd
Provide a nicer error message to people with old compiler versions.
by David Chisnall
· 11 months ago
579fc32
Add stack usage checks for the scheduler.
by David Chisnall
· 11 months ago
342f2af
sencha: correct irq numbering
by Sam Leffler
· 11 months ago
fd04899
Add APIs for checking stack usage.
by David Chisnall
· 11 months ago
1e65f2c
Remove freertos-plus-tcp submodule.
by David Chisnall
· 11 months ago
cb99d75
Expose the fact that the MAC is not unique.
by David Chisnall
· 11 months ago
365ca33
sencha: correct uart address
by Sam Leffler
· 11 months ago
ffa8f47
scheduler: include thread id in exit log message.
by Sam Leffler
· 12 months ago
7fac8ab
boards: add initial sencha board support
by Sam Leffler
· 1 year, 1 month ago
e77355b
assert.h: add support for static_assert per c spec
by Sam Leffler
· 1 year, 1 month ago
a2d41d9
Add PREUPLOAD.cfg that disables formatting + lint checks.
by Sam Leffler
· 11 months ago
6011849
Fix `fail-simulator-on-error` handler issue with nullptr dereferences.
by Hugo Lefeuvre
· 11 months ago
b0bcdcb
Fetch ethernet receive interrupt entropy futex at every reseed.
by Hugo Lefeuvre
· 11 months ago
7a90735
Add C++ wrapper around recursive mutexes.
by David Chisnall
· 11 months ago
5732d45
Add frame buffer pointer check to Arty A7 Ethernet driver.
by Hugo Lefeuvre
· 11 months ago
ff0a68c
Remove redundant mask of stack high water mark in switcher.
by Robert Norton
· 11 months ago
65c3ae8
Fix the benchmarks and add them to CI.
by David Chisnall
· 11 months ago
9663d28
Remove reference to the patch_sail_riscv target.
by David Chisnall
· 11 months ago
Next »