ReconOS64: A Hardware Operating System for Modern Platform FPGAs with 64-Bit Support | IEEE Conference Publication | IEEE Xplore