split out CR ops, sort immediates

[libreriscv.git] / about_us.mdwn

diff --git a/about_us.mdwn b/about_us.mdwn
index 66b696ff4033d364e04e9e3f1b47d4454692db1c..105f0af63df508ca0b260b16507d7dc24e75606c 100644 (file)
--- a/about_us.mdwn
+++ b/about_us.mdwn
@@ -51,15 +51,6 @@ Also, check out [[The_Mission]].
   compression, signal processing (sound & picture), optimisations,
   design for test...
 
-## [[Michael Nolan|mnolan]]
-
-* Experience/Interests: Hardware design, compiler design, formal
-  verification, low level/embedded programming, RF electronics, amateur
-  radio.
-* Website: [[https://n4abi.com]]
-* Github: [[https://github.com/C-Elegans]]
-* Availability: ~10hrs/wk (mostly MWF 9am-12pm Eastern Time)
-
 ## Lauri Kasanen
 
 * Embedded software engineer
@@ -129,3 +120,8 @@ Alain's website: <http://phcomp.co.uk>
   - https://github.com/kestrelcomputer
 * Availability: approximately 20 hrs/wk, circumstances permitting.
 
+## [[Alex Oliva|lxo]]
+
+* Experience: GCC, binutils, glibc, GNU autotools, Free Software activism.
+* website: [[https://www.fsfla.org/~lxoliva/]]
+* Availability: 10+hrs/week