μShell: A Microkernel-based FPGA Shell Architecture

Jiyang Chen, Anubhav Panda, Harshavardhan Unnibhavi, Atsushi Koshiba, and Pramod Bhatotia, TU Munich