Bare metal(non-os) packages for FPGA verificion