===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/socppc.html,v
retrieving revision 1.31
retrieving revision 1.32
diff -c -r1.31 -r1.32
*** www/socppc.html	2016/03/21 05:46:20	1.31
--- www/socppc.html	2016/03/22 10:54:43	1.32
***************
*** 71,89 ****
  
  <h3 id="hardware"><font color="#0000e0"><strong>Supported hardware</strong></font></h3>
  
! For a complete system component and device driver listing for this architecture, see <a href="http://man.openbsd.org?query=intro&amp;arch=socppc&amp;sektion=4">intro(4/socppc)</a>.
  <p>
  <ul>
! <li><a href="http://man.openbsd.org?query=cpu&amp;arch=socppc&amp;sektion=4">cpu(4)</a> Freescale MPC8347 processor.
! <li><a href="http://man.openbsd.org?query=ipic&amp;arch=socppc&amp;sektion=4">ipic(4)</a> integrated programmable interrupt controller (IPIC).
! <li><a href="http://man.openbsd.org?query=sociic&amp;arch=socppc&amp;sektion=4">sociic(4)</a> I2C controller.
! <li><a href="http://man.openbsd.org?query=fintek&amp;sektion=4">fintek(4)</a> Fintek F75375 temperature sensor.
! <li><a href="http://man.openbsd.org?query=ricohrtc&amp;sektion=4">ricohrtc(4)</a> Ricoh RS5C372 real time clock.
! <li><a href="http://man.openbsd.org?query=com&amp;sektion=4">com(4)</a> serial port console at 115200 baud.
! <li><a href="http://man.openbsd.org?query=tsec&amp;arch=socppc&amp;sektion=4">tsec(4)</a> three-speed Ethernet controller (TSEC).
! <li><a href="http://man.openbsd.org?query=socpcic&amp;arch=socppc&amp;sektion=4">socpcic(4)</a> PCI controller.
! <li><a href="http://man.openbsd.org?query=pciide&amp;sektion=4">pciide(4)</a> SATA controller supporting <a href="http://man.openbsd.org?query=wd&amp;sektion=4">wd(4)</a>.
! <li><a href="http://man.openbsd.org?query=ehci&amp;sektion=4">ehci(4)</a> USB controller supporting most <a href="http://man.openbsd.org?query=usb&amp;sektion=4">usb(4)</a> devices.
  </ul>
  
  <h3 id="install"><font color="#0000e0">
--- 71,89 ----
  
  <h3 id="hardware"><font color="#0000e0"><strong>Supported hardware</strong></font></h3>
  
! For a complete system component and device driver listing for this architecture, see <a href="http://man.openbsd.org/?query=intro&amp;arch=socppc&amp;sektion=4">intro(4/socppc)</a>.
  <p>
  <ul>
! <li><a href="http://man.openbsd.org/?query=cpu&amp;arch=socppc&amp;sektion=4">cpu(4)</a> Freescale MPC8347 processor.
! <li><a href="http://man.openbsd.org/?query=ipic&amp;arch=socppc&amp;sektion=4">ipic(4)</a> integrated programmable interrupt controller (IPIC).
! <li><a href="http://man.openbsd.org/?query=sociic&amp;arch=socppc&amp;sektion=4">sociic(4)</a> I2C controller.
! <li><a href="http://man.openbsd.org/?query=fintek&amp;sektion=4">fintek(4)</a> Fintek F75375 temperature sensor.
! <li><a href="http://man.openbsd.org/?query=ricohrtc&amp;sektion=4">ricohrtc(4)</a> Ricoh RS5C372 real time clock.
! <li><a href="http://man.openbsd.org/?query=com&amp;sektion=4">com(4)</a> serial port console at 115200 baud.
! <li><a href="http://man.openbsd.org/?query=tsec&amp;arch=socppc&amp;sektion=4">tsec(4)</a> three-speed Ethernet controller (TSEC).
! <li><a href="http://man.openbsd.org/?query=socpcic&amp;arch=socppc&amp;sektion=4">socpcic(4)</a> PCI controller.
! <li><a href="http://man.openbsd.org/?query=pciide&amp;sektion=4">pciide(4)</a> SATA controller supporting <a href="http://man.openbsd.org/?query=wd&amp;sektion=4">wd(4)</a>.
! <li><a href="http://man.openbsd.org/?query=ehci&amp;sektion=4">ehci(4)</a> USB controller supporting most <a href="http://man.openbsd.org/?query=usb&amp;sektion=4">usb(4)</a> devices.
  </ul>
  
  <h3 id="install"><font color="#0000e0">