Known Vulnerabilities in Gecko OS