public marks

PUBLIC MARKS from tadeufilippini with tags booting & "linux livecd"