# Registry of known devices (documentation / optional tooling)

[[devices]]
id = "pc-desk"
os = "linux"
role = "desktop"

[[devices]]
id = "laptop"
os = "linux"
role = "laptop"

[[devices]]
id = "phone-android"
os = "android"
role = "phone"