altos/chaoskey: Use SoC device ID as serial number

To make manufacturing these devices tractable, we don't want to
require a custom firmware load for each device, but we still want a
unique serial number. Fortunately, the SoC provides a 96-bit ID which
we can use.

Signed-off-by: Keith Packard <keithp@keithp.com>

diff --git a/src/chaoskey-v0.1/ao_pins.h b/src/chaoskey-v0.1/ao_pins.h
index a81092829b25d8afcae7a5ccac95d9bc94f240d8..6ec582a994606a4895122012915e0ea78670168c 100644 (file)
--- a/src/chaoskey-v0.1/ao_pins.h
+++ b/src/chaoskey-v0.1/ao_pins.h
@@ -52,6 +52,7 @@
 #define AO_USB_HAS_IN                  1
 #define AO_USB_HAS_INT                 0
 #define AO_USB_SELF_POWER              0
+#define AO_USB_DEVICE_ID_SERIAL                1
 
 #define IS_FLASH_LOADER        0