====== lx_cpu ====== This port uses the PiKRON ``LX_CPU`` board. See the http://www.pikron.com/pages/products/cpu_boards/lx_cpu.html for further information. This board features the NXP LPC4088 (compatible with LPC1788) and Xilinx Spartan 6 XC6SLX9