List OS symbols on the submit page