Update Fedora status.

diff --git a/2016-redhat/2510-whats-missing.html b/2016-redhat/2510-whats-missing.html
index ebb923d..eada9ac 100644 (file)
--- a/2016-redhat/2510-whats-missing.html
+++ b/2016-redhat/2510-whats-missing.html
@@ -5,5 +5,7 @@
 <h1>What missing from RISC-V?</h1>
 
 <ul>
-<li> Virtualization
+<li> Virtualization <br/>
+<a href="https://riscv.org/mailing-lists/">Look at the threads on
+the <b>isa-dev</b> mailing list at https://riscv.org/mailing-lists/</a>
 </ul>

diff --git a/2016-redhat/3120-fedora-stages.html b/2016-redhat/3120-fedora-stages.html
index 0062a1b..2fdc23c 100644 (file)
--- a/2016-redhat/3120-fedora-stages.html
+++ b/2016-redhat/3120-fedora-stages.html
@@ -42,8 +42,8 @@ li ol > li:before {
   <a href="https://github.com/rwmjones/fedora-riscv">https://github.com/rwmjones/fedora-riscv</a>
 <li> 
   <ol>
-    <li> <b>Clean disk image built entirely from RPMs ☜</b>
-    <li> Auto-build packages from Fedora Koji
+    <li> Clean disk image built entirely from RPMs
+    <li> <b>Auto-build packages from Fedora Koji ☜</b>
     <li> Get everything upstream <br/>
          Spec file changes into Fedora
   </ol>