d unproven and is
hidden behind an &quot;unproven&quot; Cargo feature. This API is even more volatile and it's exempt from
semver rules: it can change in a non-backward compatible fashion or even disappear in between
patch releases.</p>
<h1 id="design-goals" class="section-header"><a href="#design-goals">Design goals</a></h1>
<p>The HAL</p>
<ul>
<li>
<p>Must <em>erase</em> device specific details. Neither register, register blocks or magic values should
appear in the API.</p>
</li>
<li>
<p>Must be generic <