src/sys/rump/dev/lib