palimpsest/ ec2/ kernel