sys_init
sys_init(xilinx_ml40x_init,"XILINX_ML40x"), /* 1: Xilinx ML50x (XUP), same as ML40x */
sys_init(xilinx_ml40x_init,"XILINX_ML40x"), /* 8: Xilinx ML401/2 */
sys_init(xs_bee3_init,"XS_BEE3"), /* 9: BeCube BE3 */
sys_init(dec_3100_init,"DEC_3100"), /* 1: PMAX */
sys_init(dec_3max_init,"DEC_3MAX"), /* 2: 3MAX */
sys_init(dec_3min_init,"DEC_3MIN"), /* 3: 3MIN */
sys_init(dec_3maxplus_init,"DEC_3MAXPLUS"), /* 4: 3MAXPLUS */
sys_init(dec_maxine_init,"DEC_MAXINE"), /* 7: MAXINE */
sys_init(dec_5100_init,"DEC_5100"), /* 12: 5100 */