</ul>
</div>
+<div class="slide">
+ <h1>arm64 and ppc64el ports</h1>
+ <ul class="incremental">
+ <li>
+ 'arm64' architecture was added in Linux 3.7, but was not yet
+ usable, and no real hardware was available at the time
+ </li>
+ <li>
+ Upstream Linux arm64 kernel, and Debian packages, should now run
+ on emulators and real hardware
+ </li>
+ <li>
+ 'powerpc' architecture has been available for many years,
+ but didn't support kernel running little-endian
+ </li>
+ <li>
+ Linux 3.13 added little-endian kernel suport, along with new
+ userland ELF ABI variant - we call it ppc64el
+ </li>
+ <li>
+ Both ports now being bootstrapped in unstable and are candidates
+ for jessie release
+ </li>
+ </ul>
+</div>
+
<div class="slide">
<h1>Questions?</h1>
</div>