None of us have experience with rump kernels, but I&#x27;d be very interested in seeing what is needed to make that work. Right now the drivers we&#x27;re writing are parameterized over hardware-access with traits. If a rump-ready driver could work in that existing framework, that&#x27;d be ideal.