View Source Kria KR260

Hex version

This is the base Nerves System configuration for the Kria KR260.

FeatureDescription
CPU1.333 GHz quad-core Cortex-A53
Memory4 GB DDR4
StorageMicroSD, 512 Mb QSPI, 16 GB eMMC, 64 Kb EEPROM
Linux kernellinux-xlnx
IEx terminalUART
GPIO, I2C, SPIRaspberry Pi HAT I/F - Elixir Circuits
ADCNo
PWMNo
UART1 available - ttyPS1
DisplayDisplay Port 1.2a
CameraNo
Ethernet2 avaiable PS ethernet and 2 PL
WiFiNo
BluetoothNo
AudioNo
Pmod4 available - 12-pin, Untested
USB4 available

using

Using

The most common way of using this Nerves System is create a project with mix nerves.new and to export MIX_TARGET=kr260. See the Getting started guide for more information.

If you need custom modifications to this system for your device, clone this repository and update as described in Making custom systems.

provisioning-devices

Provisioning devices

This system supports storing provisioning information in a small key-value store outside of any filesystem. Provisioning is an optional step and reasonable defaults are provided if this is missing.

Provisioning information can be queried using the Nerves.Runtime KV store's Nerves.Runtime.KV.get/1 function.

Keys used by this system are:

KeyExample ValueDescription
nerves_serial_number"12345678"By default, this string is used to create unique hostnames and Erlang node names. If unset, it defaults to part of the Raspberry Pi's device ID.

The normal procedure would be to set these keys once in manufacturing or before deployment and then leave them alone.

For example, to provision a serial number on a running device, run the following and reboot:

iex> cmd("fw_setenv nerves_serial_number 12345678")

This system supports setting the serial number offline. To do this, set the NERVES_SERIAL_NUMBER environment variable when burning the firmware. If you're programming MicroSD cards using fwup, the commandline is:

sudo NERVES_SERIAL_NUMBER=12345678 fwup path_to_firmware.fw

Serial numbers are stored on the MicroSD card so if the MicroSD card is replaced, the serial number will need to be reprogrammed. The numbers are stored in a U-boot environment block. This is a special region that is separate from the application partition so reformatting the application partition will not lose the serial number or any other data stored in this block.

Additional key value pairs can be provisioned by overriding the default provisioning.conf file location by setting the environment variable NERVES_PROVISIONING=/path/to/provisioning.conf. The default provisioning.conf will set the nerves_serial_number, if you override the location to this file, you will be responsible for setting this yourself.