Skip to content

Commit 03d3102

Browse files
rmn30davidchisnall
authored andcommitted
Fix typos in RTOS 2 post
1 parent fa2e58f commit 03d3102

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

_posts/2025-07-04-why-new-rtos-2.markdown

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ Passing one of these between processes requires passing them over UNIX domain so
7373

7474
On CHERIoT RTOS, if you want to have a message queue that you can safely use between compartments, the type is `struct MessageQueue *__sealed_capability`.
7575
This looks just like a pointer.
76-
You can pass it between compartments: You can pass the write end of a message queue to a compartment that you want to be able to send messages, you don't need complex out-of-bound messaging.
76+
You can pass it between compartments: You can pass the write end of a message queue to a compartment that you want to be able to send messages, you don't need complex out-of-band messaging.
7777

7878
The CHERIoT message queue compartment has no mutable globals.
7979
This gives **flow isolation** for free.
@@ -106,7 +106,7 @@ These all have a fast path that just requires an atomic operation and slow paths
106106

107107
The scheduler's blocking APIs (wait for timeout, wait for a futex, wait for more than one futex) all take a pointer to a `Timeout` structure.
108108
This records the amount of time that a thread may spend blocking (along with the amount of time it has spent blocking).
109-
These are intended to be passed through multiple compartments, so a complex operating that does multiple calls that might block can reuse the timeout pointer from the caller and stop if the timeout is exceeded.
109+
These are intended to be passed through multiple compartments, so a complex operation that does multiple calls that might block can reuse the timeout pointer from the caller and stop if the timeout is exceeded.
110110
This makes it easy to build rich APIs that have bounded blocking times.
111111
You wouldn't build a system like this unless sharing a two-word structure across security boundaries is easy.
112112

0 commit comments

Comments
 (0)