add short history of rump kernels
build history