public marks

PUBLIC MARKS from tadeufilippini with tags x86 & "x86 linux"