Boot-manager examples.