public marks

PUBLIC MARKS from tadeufilippini with tags boot & "linux puppylinux"