How to get a public key registered with a key server

Prerequisites

You need a personal or company GPG key. If you don't have one, this explains how to generate a GPG key.

Export your public key

gpg --export --armor john@example.com > john_doe.pub

-----BEGIN PGP PUBLIC KEY BLOCK-----
mQGiBEm7B54RBADhXaYmvUdBoyt5wAi......=vEm7B54RBADh9dmP
-----END PGP PUBLIC KEY BLOCK-----

About the arguments:

--export Export the public key information of the key belonging to john@example.com
--armor Create a base64 encoded ascii string rather than using a binary format
john@example.com The key id to export
> john_doe.pub Save the output into this file

(e.g., VL53L0X Time-of-Flight sensors) 4. How to Resolve ACPI\\PRP0001 Issues (Windows)

✅ but no native ACPI driver

Name (_HID, "PRP0001") Name (_UID, 0) Name (_DSD, Package () ToUUID("daffd814-6eba-4d8c-8a91-bc9bbf4aa301"), Package () Package () "compatible", "vendor,my-device" , Package () "reg", 0x48 , Package () "label", "ambient-sensor" ,

? (e.g., Audio, Touchpad, Sensor) How should I2C drivers be matched in ACPI with HID PRP0001

Now, the Linux kernel sees PRP0001 , reads the compatible property, and attempts to bind the driver registered with st,lis3dh —the same driver used on ARM boards.

Alternate way to submit your public key to the key servers using the CLI

gpg --keyid-format LONG --list-keys john@example.com
pub   rsa4096/ABCDEF0123456789 2018-01-01 [SCEA] [expires: 2021-01-01]
      ABCDEF0123456789ABCDEF0123456789
uid              [ ultimate ] John Doe <john@example.com>

This shows the 16-byte Key-ID right after the key-type and key-size. In this example it's the highlighted part of this line:

pub rsa4096/ABCDEF0123456789 2018-01-01 [SCEA] [expires: 2021-01-01] acpi prp0001

The next step is to use this Key-ID to send it to the keyserver, in our case the MIT one. "PRP0001") Name (_UID

gpg --keyserver keyserver.ubuntu.com --send-keys ABCDEF0123456789

Congratulations, you published your public key.

Please allow a couple of minutes for the servers to replicate that information before starting to use the key. 0) Name (_DSD

Acpi Prp0001 [patched] Jun 2026

(e.g., VL53L0X Time-of-Flight sensors) 4. How to Resolve ACPI\\PRP0001 Issues (Windows)

✅ but no native ACPI driver

? (e.g., Audio, Touchpad, Sensor) How should I2C drivers be matched in ACPI with HID PRP0001

Now, the Linux kernel sees PRP0001 , reads the compatible property, and attempts to bind the driver registered with st,lis3dh —the same driver used on ARM boards.