rpi-kickstart 0.4.0

Application scaffolding for bare-metal Raspberry Pi boards: console, config, storage, web and the rest of the bring-up that is the same on every board, on top of rpi-hal
Documentation
# Settings for rpi-kickstart's examples.
#
# Copy this to `kickstart.toml` at the root of the SD card's boot
# partition, beside `config.txt`, and fill it in. The copy is gitignored
# here because it holds a Wi-Fi passphrase.
#
# Everything is optional, and so is the file. A key an example does not
# know is reported on the console and skipped; a value that is present but
# wrong is reported with its line and column, and that one setting falls
# back to its default.
#
# Strings are quoted, so a `#` or a space inside one is part of the value,
# not a comment. Inside "double quotes" a `\` starts an escape (`\"`, `\\`);
# a passphrase full of backslashes is easier in 'single quotes', which
# take everything literally.

# The name the board answers to over mDNS, as `<hostname>.local`: letters,
# digits and hyphens, up to 63, not starting or ending with a hyphen. A
# trailing `.local` is accepted and dropped. Default: "kickstart".
hostname = "kickstart"

# Where the wall clock comes from, once the board has an address. The
# values below are the defaults, so the whole table can be left out; name
# only the key you change. Durations are a whole number above zero and a
# unit: `s`, `m` or `h`.
[ntp]
# A name, or an IPv4 address written out -- a router is often a good time
# server, and an address needs no DNS.
server = "pool.ntp.org"
# How long to wait after a failed sync before trying again.
retry_interval = "30s"
# How long to wait after a successful one. Asking a public server more
# often than every few hours is discourteous rather than useful.
resync_interval = "6h"

# The network to join when there is no Ethernet: a board with no Ethernet
# chip (Zero W), or a 3B/3B+ with no cable in. Leave the table out and such
# a board simply has no network.
#
# The radio also needs its firmware on the card, under wifi/43430/ (3B,
# Zero W) or wifi/43455/ (3B+) -- see examples/wifi.rs for the files.
[wifi]
# 1 to 32 bytes.
ssid = "your network"
# WPA2: 8 to 63 printable ASCII characters, spaces allowed.
passphrase = "your passphrase"