Man pages matching name petitboot in section 8:

petitboot.8.en

debian 10 / petitboot