3 ms·OSDI '26 – μShell: A Microkernel-Based FPGA Shell Architecture [video]2 points by matt_d 11d ago