/** @defgroup boards_mips-malta MIPS MALTA @ingroup boards @brief Support for the MIPS Malta FPGA system */