Operating System for Symmetric Multiprocessors on FPGA | IEEE Conference Publication | IEEE Xplore