2 ms·Thanks, that site was really interesting! I hadn't heard of rump kernels before.by jeffreyrogers 11y agoThanks, that site was really interesting! I hadn't heard of rump kernels before.