Current section
Files
Jump to
Current section
Files
fwup_include/provisioning.conf
# Support setting device serial numbers when creating MicroSD cards.
# Note that the '$' is escaped so that environment variable replacement
# happens at "burn" time rather than at firmware creation time. No
# serial numbers are stored in the .fw file. If left blank, the device
# will default to a built-in ID.
uboot_setenv(uboot-env, "nerves_serial_number", "\${NERVES_SERIAL_NUMBER}")
# Nerves note: This has been adapted from the default Groboards U-boot
# environment.
###U-Boot Overlays###
###Master Enable
uboot_setenv(uboot-env, "enable_uboot_overlays", "1")
###
###Overide capes with eeprom
uboot_setenv(uboot-env, "uboot_overlay_addr0", "/lib/firmware/GB-WIFI-FEATHERWING.dtbo")
#uboot_setenv(uboot-env, "uboot_overlay_addr1", "/lib/firmware/<file1>.dtbo")
#uboot_setenv(uboot-env, "uboot_overlay_addr2", "/lib/firmware/<file2>.dtbo")
#uboot_setenv(uboot-env, "uboot_overlay_addr3", "/lib/firmware/<file3>.dtbo")