Skip to content

Commit 07b06bb

Browse files
Update index.html
1 parent f3d0af0 commit 07b06bb

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

docs/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -603,7 +603,7 @@ <h3 id="design_approach">1.1. Design Approach</h3>
603603
<p>The absence of semantics can be desired neutrality, but often turns out to be displacement. Meaning is not removed. It is pushed into the application, usually without framing, where it tends to degrade easily.</p>
604604
</div>
605605
<div class="paragraph data-line-27">
606-
<p><em>This is not a manifesto against generic primitives; RK0 does provide them. The claim is we&#8217;ve been failing to recognise a sweet spot in real-time kernel design: expressive coordination semantics.</em></p>
606+
<p><em>This is not a manifesto against generic primitives; RK0 does provide them. The claim is we&#8217;ve been failing to recognise a sweet spot in real-time kernel design: expressive coordination semantics. They sit on right level of abstraction of reuse and they are recurrent enough to be partially (sometimes entirely) expressed as services.</em></p>
607607
</div>
608608
<div class="paragraph data-line-29">
609609
<p>Expressive semantics means less overloading and no implicit rules on the exposed API. Less overloading also means more APIs or mechanisms. Given this is undesirable, the design choice in <em>RK0</em> follows this guideline:</p>

0 commit comments

Comments
 (0)