pistache-boom-shell-kernel