Tools, scripts and wrappers for rump kernels (repo status: work in progress)