U.S. flag   An official website of the United States government
Dot gov

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Https

Secure .gov websites use HTTPS
A lock (Dot gov) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

CPE Summary

CPE Names

Version 2.3: cpe:2.3:o:tockos:tock:1.2:*:*:*:*:*:*:*

Version 2.2: cpe:/o:tockos:tock:1.2

Read information about CPE Name encoding

CPE Name Components Select a component to search for similar CPEs

Part:
o
Vendor:
tockos
Product:
tock
Version:
1.2

Quick Info

Created On:
08/06/2019
Last Modified On:
08/06/2019

Metadata

Titles:

Text Locale
TockOS Tock 1.2 en_US

References:

Type Description URL
Version https://github.com/tock/tock/releases
Vendor https://www.tockos.org/