<p>Libreboot is free boot firmware, based on the coreboot project, intended as a free BIOS/UEFI replacement for your computer. The project was started to spearhead a campaign for a fully free system, where every piece of software in the machine is free.</p>
</div>
-<!--FIXME: Debian
<div class="session">
<h4>Rock your Emacs</h4>
<span class="speakers"><a href="/2015/program/speakers.html#sturmfels">Ben Sturmfels</a></span>
<li>Emacs documentation in Info format (emacs24-common-non-dfsg in Debian)</li>
</ul>
</p>
- </div>-->
+ </div>
<div class="session">
<h4>Schooling in the free software sandbox: new directions in K-12 education</h4>