text: /*
   * Copyright (c) 2018, Marcelo Samsoniuk
   * All rights reserved.
   * 
   * Redistribution and use in source and binary forms, with or without
   * modification, are permitted provided that the following conditions are met:
   * 
   * * Redistributions of source code must retain the above copyright notice, this
   *   list of conditions and the following disclaimer.
   * 
   * * Redistributions in binary form must reproduce the above copyright notice,
   *   this list of conditions and the following disclaimer in the documentation
   *   and/or other materials provided with the distribution.
   * 
   * * Neither the name of the copyright holder nor the names of its
   *   contributors may be used to endorse or promote products derived from
   *   this software without specific prior written permission.
   * 
   * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
   * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
   * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
   * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
   * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
   * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
   * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
   * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
   * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
   * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
   */
  
  #include <io.h>
  
  #ifdef __RISCV__
  
  volatile struct DARKIO io;
  
  #else
  
  volatile struct DARKIO io = 
  {
      4, 100, 0, 0,   // ctrl = { board id, fMHz, fkHz }
      { 0, 0, 0 },    // uart = { stat, fifo, baud }
      0,              // led
      0,              // gpio
      1000000         // timer
  };
  
  unsigned char kmem[8192] = "darksocv x86 payload test";
  
  #endif
  
  int threads = 0; // number of threads
  
  // board database
  
  const char *board_name[]=
  {
      "simulation only",                  // 0
      "avnet microboard spartan-6 lx9",   // 1
      "xilinx ac701 artix-7 a200",        // 2 
      "qmtech sdram lx16",                // 3  
      "unknown host x86",                 // 4
      0
  };
  