Releases: usbarmory/usbarmory-debian-base_image
USB armory - Debian base image release 20240404
This release contains the Debian base operating system image provided as reference for booting, and start developing on, the USB armory board.
The base image consists of a standard Linux distribution (Debian) prepared with the process outlined in the usbarmory-debian-base_image repository.
Installation
IMPORTANT: <path to raw file> must be replaced with the uncompressed raw file (e.g. not the .xz file) matching your USB armory model and boot media.
IMPORTANT: /dev/sdX, /dev/diskN must be replaced with your microSD device (not eventual microSD partitions), ensure that you are specifying the correct one. Errors in target specification will result in disk corruption.
NOTE: Remember to uncompress the downloaded image file before imaging.
Linux (verify target from terminal using dmesg):
sudo dd if=<path to raw file> of=/dev/sdX bs=1M conv=fsync
Mac OS X (verify target from terminal with diskutil list):
sudo dd if=<path to raw file> of=/dev/rdiskN bs=1m
On Windows, and other OSes, alternatively the Etcher utility can be used.
Connecting
After being booted, the image uses Ethernet over USB emulation (CDC Ethernet) to communicate with the host, with assigned IP address 10.0.0.1 (using 10.0.0.2 as gateway). Connection can be accomplished via SSH to 10.0.0.1, with default user usbarmory and password usbarmory. NOTE: There is a DHCP server running by default. Alternatively the host interface IP address can be statically set to 10.0.0.2/24.
LED feedback
To aid initial testing the base image configures the board LED to reflect CPU load average, via the Linux Heartbeat Trigger driver. In case this is undesired, the heartbeat can be disabled by removing the ledtrig_heartbeat module in /etc/modules. More information about LED control here.
Resizing
The default image is 4GB of size, to use the full microSD space a new partition can be added or the existing one can be resized as described here.
Additional resources
Major changes against the previous release:
- upgraded kernel to 6.6.24
- upgraded U-Boot to v2024.04
- upgraded mxs-dcp module to fix unusable DCP Crypto API
USB armory - Debian base image release 20240221
This release contains the Debian base operating system image provided as reference for booting, and start developing on, the USB armory board.
The base image consists of a standard Linux distribution (Debian) prepared with the process outlined in the usbarmory-debian-base_image repository.
Installation
IMPORTANT: <path to raw file> must be replaced with the uncompressed raw file (e.g. not the .xz file) matching your USB armory model and boot media.
IMPORTANT: /dev/sdX, /dev/diskN must be replaced with your microSD device (not eventual microSD partitions), ensure that you are specifying the correct one. Errors in target specification will result in disk corruption.
NOTE: Remember to uncompress the downloaded image file before imaging.
Linux (verify target from terminal using dmesg):
sudo dd if=<path to raw file> of=/dev/sdX bs=1M conv=fsync
Mac OS X (verify target from terminal with diskutil list):
sudo dd if=<path to raw file> of=/dev/rdiskN bs=1m
On Windows, and other OSes, alternatively the Etcher utility can be used.
Connecting
After being booted, the image uses Ethernet over USB emulation (CDC Ethernet) to communicate with the host, with assigned IP address 10.0.0.1 (using 10.0.0.2 as gateway). Connection can be accomplished via SSH to 10.0.0.1, with default user usbarmory and password usbarmory. NOTE: There is a DHCP server running by default. Alternatively the host interface IP address can be statically set to 10.0.0.2/24.
LED feedback
To aid initial testing the base image configures the board LED to reflect CPU load average, via the Linux Heartbeat Trigger driver. In case this is undesired, the heartbeat can be disabled by removing the ledtrig_heartbeat module in /etc/modules. More information about LED control here.
Resizing
The default image is 4GB of size, to use the full microSD space a new partition can be added or the existing one can be resized as described here.
Additional resources
Major changes against the previous release:
- upgraded Debian to 12.5
- upgraded kernel to 6.6.17
- upgraded U-Boot to v2024.01
- fixed linux-headers package to allow out-of-tree kernel modules compilation
USB armory - Debian base image release 20230721
This release contains the Debian base operating system image provided as reference for booting, and start developing on, the USB armory board.
The base image consists of a standard Linux distribution (Debian) prepared with the process outlined in the usbarmory-debian-base_image repository.
Installation
IMPORTANT: <path to raw file> must be replaced with the uncompressed raw file (e.g. not the .xz file) matching your USB armory model and boot media.
IMPORTANT: /dev/sdX, /dev/diskN must be replaced with your microSD device (not eventual microSD partitions), ensure that you are specifying the correct one. Errors in target specification will result in disk corruption.
NOTE: Remember to uncompress the downloaded image file before imaging.
Linux (verify target from terminal using dmesg):
sudo dd if=<path to raw file> of=/dev/sdX bs=1M conv=fsync
Mac OS X (verify target from terminal with diskutil list):
sudo dd if=<path to raw file> of=/dev/rdiskN bs=1m
On Windows, and other OSes, alternatively the Etcher utility can be used.
Connecting
After being booted, the image uses Ethernet over USB emulation (CDC Ethernet) to communicate with the host, with assigned IP address 10.0.0.1 (using 10.0.0.2 as gateway). Connection can be accomplished via SSH to 10.0.0.1, with default user usbarmory and password usbarmory. NOTE: There is a DHCP server running by default. Alternatively the host interface IP address can be statically set to 10.0.0.2/24.
LED feedback
To aid initial testing the base image configures the board LED to reflect CPU load average, via the Linux Heartbeat Trigger driver. In case this is undesired, the heartbeat can be disabled by removing the ledtrig_heartbeat module in /etc/modules. More information about LED control here.
Resizing
The default image is 4GB of size, to use the full microSD space a new partition can be added or the existing one can be resized as described here.
Additional resources
Major changes against the previous release:
- upgraded Debian to 12.0
- upgraded kernel to 6.1.39
- upgraded U-Boot to v2023.07
USB armory - Debian base image release 20230515
This release contains the Debian base operating system image provided as reference for booting, and start developing on, the USB armory board.
The base image consists of a standard Linux distribution (Debian) prepared with the process outlined in the usbarmory-debian-base_image repository.
Installation
IMPORTANT: <path to raw file> must be replaced with the uncompressed raw file (e.g. not the .xz file) matching your USB armory model and boot media.
IMPORTANT: /dev/sdX, /dev/diskN must be replaced with your microSD device (not eventual microSD partitions), ensure that you are specifying the correct one. Errors in target specification will result in disk corruption.
NOTE: Remember to uncompress the downloaded image file before imaging.
Linux (verify target from terminal using dmesg):
sudo dd if=<path to raw file> of=/dev/sdX bs=1M conv=fsync
Mac OS X (verify target from terminal with diskutil list):
sudo dd if=<path to raw file> of=/dev/rdiskN bs=1m
On Windows, and other OSes, alternatively the Etcher utility can be used.
Connecting
After being booted, the image uses Ethernet over USB emulation (CDC Ethernet) to communicate with the host, with assigned IP address 10.0.0.1 (using 10.0.0.2 as gateway). Connection can be accomplished via SSH to 10.0.0.1, with default user usbarmory and password usbarmory. NOTE: There is a DHCP server running by default. Alternatively the host interface IP address can be statically set to 10.0.0.2/24.
LED feedback
To aid initial testing the base image configures the board LED to reflect CPU load average, via the Linux Heartbeat Trigger driver. In case this is undesired, the heartbeat can be disabled by removing the ledtrig_heartbeat module in /etc/modules. More information about LED control here.
Resizing
The default image is 4GB of size, to use the full microSD space a new partition can be added or the existing one can be resized as described here.
Additional resources
Major changes against the previous release:
- upgraded kernel to 6.1.19
- upgraded U-Boot to v2023.01
- upgraded Debian to 11.6
- upgraded crucible to v2022.12.06
USB armory - Debian base image release 20221114
This release contains the Debian base operating system image provided as reference for booting, and start developing on, the USB armory board.
The base image consists of a standard Linux distribution (Debian) prepared with the process outlined in the usbarmory-debian-base_image repository.
Installation
IMPORTANT: <path to raw file> must be replaced with the uncompressed raw file (e.g. not the .xz file) matching your USB armory model and boot media.
IMPORTANT: /dev/sdX, /dev/diskN must be replaced with your microSD device (not eventual microSD partitions), ensure that you are specifying the correct one. Errors in target specification will result in disk corruption.
NOTE: Remember to uncompress the downloaded image file before imaging.
Linux (verify target from terminal using dmesg):
sudo dd if=<path to raw file> of=/dev/sdX bs=1M conv=fsync
Mac OS X (verify target from terminal with diskutil list):
sudo dd if=<path to raw file> of=/dev/rdiskN bs=1m
On Windows, and other OSes, alternatively the Etcher utility can be used.
Connecting
After being booted, the image uses Ethernet over USB emulation (CDC Ethernet) to communicate with the host, with assigned IP address 10.0.0.1 (using 10.0.0.2 as gateway). Connection can be accomplished via SSH to 10.0.0.1, with default user usbarmory and password usbarmory. NOTE: There is a DHCP server running by default. Alternatively the host interface IP address can be statically set to 10.0.0.2/24.
LED feedback
To aid initial testing the base image configures the board LED to reflect CPU load average, via the Linux Heartbeat Trigger driver. In case this is undesired, the heartbeat can be disabled by removing the ledtrig_heartbeat module in /etc/modules. More information about LED control here.
Resizing
The default image is 4GB of size, to use the full microSD space a new partition can be added or the existing one can be resized as described here.
Additional resources
Major changes against the previous release:
- upgraded kernel to 5.15.78
- upgraded U-Boot to v2022.10
- upgraded Debian to 11.5
USB armory - Debian base image release 20220822
This release contains the Debian base operating system image provided as reference for booting, and start developing on, the USB armory board.
The base image consists of a standard Linux distribution (Debian) prepared with the process outlined in the usbarmory-debian-base_image repository.
Installation
IMPORTANT: <path to raw file> must be replaced with the uncompressed raw file (e.g. not the .xz file) matching your USB armory model and boot media.
IMPORTANT: /dev/sdX, /dev/diskN must be replaced with your microSD device (not eventual microSD partitions), ensure that you are specifying the correct one. Errors in target specification will result in disk corruption.
NOTE: Remember to uncompress the downloaded image file before imaging.
Linux (verify target from terminal using dmesg):
sudo dd if=<path to raw file> of=/dev/sdX bs=1M conv=fsync
Mac OS X (verify target from terminal with diskutil list):
sudo dd if=<path to raw file> of=/dev/rdiskN bs=1m
On Windows, and other OSes, alternatively the Etcher utility can be used.
Connecting
After being booted, the image uses Ethernet over USB emulation (CDC Ethernet) to communicate with the host, with assigned IP address 10.0.0.1 (using 10.0.0.2 as gateway). Connection can be accomplished via SSH to 10.0.0.1, with default user usbarmory and password usbarmory. NOTE: There is a DHCP server running by default. Alternatively the host interface IP address can be statically set to 10.0.0.2/24.
LED feedback
To aid initial testing the base image configures the board LED to reflect CPU load average, via the Linux Heartbeat Trigger driver. In case this is undesired, the heartbeat can be disabled by removing the ledtrig_heartbeat module in /etc/modules. More information about LED control here.
Resizing
The default image is 4GB of size, to use the full microSD space a new partition can be added or the existing one can be resized as described here.
Additional resources
Major changes against the previous release:
- upgraded kernel to 5.15.62
- upgraded U-Boot to v2022.07
- added
systemd-timesyncdpackage - added
armory-boot.confto allow booting with armory-boot
USB armory - Debian base image release 20220706
This release contains the Debian base operating system image provided as reference for booting, and start developing on, the USB armory board.
The base image consists of a standard Linux distribution (Debian) prepared with the process outlined in the usbarmory-debian-base_image repository.
Installation
IMPORTANT: <path to raw file> must be replaced with the uncompressed raw file (e.g. not the .xz file) matching your USB armory model and boot media.
IMPORTANT: /dev/sdX, /dev/diskN must be replaced with your microSD device (not eventual microSD partitions), ensure that you are specifying the correct one. Errors in target specification will result in disk corruption.
NOTE: Remember to uncompress the downloaded image file before imaging.
Linux (verify target from terminal using dmesg):
sudo dd if=<path to raw file> of=/dev/sdX bs=1M conv=fsync
Mac OS X (verify target from terminal with diskutil list):
sudo dd if=<path to raw file> of=/dev/rdiskN bs=1m
On Windows, and other OSes, alternatively the Etcher utility can be used.
Connecting
After being booted, the image uses Ethernet over USB emulation (CDC Ethernet) to communicate with the host, with assigned IP address 10.0.0.1 (using 10.0.0.2 as gateway). Connection can be accomplished via SSH to 10.0.0.1, with default user usbarmory and password usbarmory. NOTE: There is a DHCP server running by default. Alternatively the host interface IP address can be statically set to 10.0.0.2/24.
LED feedback
To aid initial testing the base image configures the board LED to reflect CPU load average, via the Linux Heartbeat Trigger driver. In case this is undesired, the heartbeat can be disabled by removing the ledtrig_heartbeat module in /etc/modules. More information about LED control here.
Resizing
The default image is 4GB of size, to use the full microSD space a new partition can be added or the existing one can be resized as described here.
Additional resources
Major changes against the previous release:
- upgraded kernel to 5.15.52
- upgraded U-Boot to v2022.04
- upgraded crucible to v2022.05.25
USB armory - Debian base image release 20220311
This release contains the Debian base operating system image provided as reference for booting, and start developing on, the USB armory board.
The base image consists of a standard Linux distribution (Debian) prepared with the process outlined in the usbarmory-debian-base_image repository.
Installation
IMPORTANT: <path to raw file> must be replaced with the uncompressed raw file (e.g. not the .xz file) matching your USB armory model and boot media.
IMPORTANT: /dev/sdX, /dev/diskN must be replaced with your microSD device (not eventual microSD partitions), ensure that you are specifying the correct one. Errors in target specification will result in disk corruption.
NOTE: Remember to uncompress the downloaded image file before imaging.
Linux (verify target from terminal using dmesg):
sudo dd if=<path to raw file> of=/dev/sdX bs=1M conv=fsync
Mac OS X (verify target from terminal with diskutil list):
sudo dd if=<path to raw file> of=/dev/rdiskN bs=1m
On Windows, and other OSes, alternatively the Etcher utility can be used.
Connecting
After being booted, the image uses Ethernet over USB emulation (CDC Ethernet) to communicate with the host, with assigned IP address 10.0.0.1 (using 10.0.0.2 as gateway). Connection can be accomplished via SSH to 10.0.0.1, with default user usbarmory and password usbarmory. NOTE: There is a DHCP server running by default. Alternatively the host interface IP address can be statically set to 10.0.0.2/24.
LED feedback
To aid initial testing the base image configures the board LED to reflect CPU load average, via the Linux Heartbeat Trigger driver. In case this is undesired, the heartbeat can be disabled by removing the ledtrig_heartbeat module in /etc/modules. More information about LED control here.
Resizing
The default image is 4GB of size, to use the full microSD space a new partition can be added or the existing one can be resized as described here.
Additional resources
Major changes against the previous release:
- upgraded kernel to 5.15.27
- upgraded crucible to v2021.12.17
USB armory - Debian base image release 20211129
This release contains the Debian base operating system image provided as reference for booting, and start developing on, the USB armory board.
The base image consists of a standard Linux distribution (Debian) prepared with the process outlined in the usbarmory-debian-base_image repository.
Installation
IMPORTANT: <path to raw file> must be replaced with the uncompressed raw file (e.g. not the .xz file) matching your USB armory model and boot media.
IMPORTANT: /dev/sdX, /dev/diskN must be replaced with your microSD device (not eventual microSD partitions), ensure that you are specifying the correct one. Errors in target specification will result in disk corruption.
NOTE: Remember to uncompress the downloaded image file before imaging.
Linux (verify target from terminal using dmesg):
sudo dd if=<path to raw file> of=/dev/sdX bs=1M conv=fsync
Mac OS X (verify target from terminal with diskutil list):
sudo dd if=<path to raw file> of=/dev/rdiskN bs=1m
On Windows, and other OSes, alternatively the Etcher utility can be used.
Connecting
After being booted, the image uses Ethernet over USB emulation (CDC Ethernet) to communicate with the host, with assigned IP address 10.0.0.1 (using 10.0.0.2 as gateway). Connection can be accomplished via SSH to 10.0.0.1, with default user usbarmory and password usbarmory. NOTE: There is a DHCP server running by default. Alternatively the host interface IP address can be statically set to 10.0.0.2/24.
LED feedback
To aid initial testing the base image configures the board LED to reflect CPU load average, via the Linux Heartbeat Trigger driver. In case this is undesired, the heartbeat can be disabled by removing the ledtrig_heartbeat module in /etc/modules. More information about LED control here.
Resizing
The default image is 4GB of size, to use the full microSD space a new partition can be added or the existing one can be resized as described here.
Additional resources
Major changes against the previous release:
- upgraded Debian to release 11 (bullseye)
- upgraded kernel to 5.10.82
- upgraded U-Boot to 2021.10
- added armory-boot-nonsecure.conf and non-secure device tree blob
USB armory - Debian base image release 20210907
This release contains the Debian base operating system image provided as reference for booting, and start developing on, the USB armory board.
The base image consists of a standard Linux distribution (Debian) prepared with the process outlined in the usbarmory-debian-base_image repository.
Installation
IMPORTANT: <path to raw file> must be replaced with the uncompressed raw file (e.g. not the .xz file) matching your USB armory model and boot media.
IMPORTANT: /dev/sdX, /dev/diskN must be replaced with your microSD device (not eventual microSD partitions), ensure that you are specifying the correct one. Errors in target specification will result in disk corruption.
NOTE: Remember to uncompress the downloaded image file before imaging.
Linux (verify target from terminal using dmesg):
sudo dd if=<path to raw file> of=/dev/sdX bs=1M conv=fsync
Mac OS X (verify target from terminal with diskutil list):
sudo dd if=<path to raw file> of=/dev/rdiskN bs=1m
On Windows, and other OSes, alternatively the Etcher utility can be used.
Connecting
After being booted, the image uses Ethernet over USB emulation (CDC Ethernet) to communicate with the host, with assigned IP address 10.0.0.1 (using 10.0.0.2 as gateway). Connection can be accomplished via SSH to 10.0.0.1, with default user usbarmory and password usbarmory. NOTE: There is a DHCP server running by default. Alternatively the host interface IP address can be statically set to 10.0.0.2/24.
LED feedback
To aid initial testing the base image configures the board LED to reflect CPU load average, via the Linux Heartbeat Trigger driver. In case this is undesired, the heartbeat can be disabled by removing the ledtrig_heartbeat module in /etc/modules. More information about LED control here.
Resizing
The default image is 4GB of size, to use the full microSD space a new partition can be added or the existing one can be resized as described here.
Additional resources
Major changes against the previous release:
- upgraded kernel to 5.10.62
- fixed boot on Mk I