Index of /
# Debian system images
These images contain base Debian systems for select hardware platforms.
Some images are provides also with non-free licensed parts included.
Please check legal risks before using those!
## Core installation
Download image to your pc:
curl --remote-name http://box.redpill.dk/core/core-lime2-buster-1.0rc4.img.gz
Connect microSD card to pc, and locate its device path,
either, on linux, try this command:
lsblk --paths --nodeps
...or, on macOS, try this command:
Then compare output of above command with and without card plugged in
to not COMPLETELY OVERWRITE the wrong device below
Make sure card is (connected but) not mounted.
On linux, one way is to check that lsblk lists no mountpoint entry
Decompress and copy image onto card
(adjust image name and device path as needed):
sudo cp core-lime2-buster-1.0rc4.img PATH_TO_YOUR_SDCARD
Move card to your box (while turned off), turn on, and log in,
either with screen and keyboard directly connected,
log in at prompt
...or via network from linux with avahi-utils,
after bootup (20-60 seconds) lookup hostname and login with ssh:
avahi-browse --terminate _ssh._tcp
...or via network from macOS or Windows,
after bootup (20-60 seconds) locate hostname (press CTRL+c to stop) and login with ssh:
dns-sd -B _ssh._tcp
Username is debian
Password is insecure
Finalize setup of the system:
## Network setup
System uses systemd for networking generally,
and IWD for wifi.
Connect to network,
either with ethernet (builtin or a USB dongle) just connect cable
...or with wifi, do something like this:
iwctl station wlan0 get-networks
iwctl station wlan0 connect SSID_LISTED_ABOVE
...or with broadband modem, do something like this:
mmcli --modem=0 --simple-connect="apn=internet"
...or with ethernet needing fixed IP address, do something like
connect cable to primary plug
and run these commands:
cp /etc/systemd/network/90-dhcp.network /etc/systemd/network/10-eth0.network
# Replace line "Name=..." with line "Name=eth0"
# Replace line "DHCP=..." with lines "Address=" and "Gateway=..."
# Quit nano with CTRL+x (and agree to save under suggested name)
service systemd-networkd restart
Some included tools to check if networking works.
Show assigned IP numbers
(try both and pick the one that works best for you):
Show connectivity and latency towards a common public host:
mtr --displaymode=2 22.214.171.124
Further info on using IWD: <https://wiki.archlinux.org/index.php/Iwd>
System is quite minimal,
but ships with several optional addons
all starting with "box-add-".
As an example a (more complete) text-based user interface:
These binary images are built from Debian packages
and build routines written by Jonas Smedegaard.
The build routines,
available at <https://salsa.debian.org/tinker-team/box>,
are licensed under the GNU General Public License, version 3 or newer.
When this README file is accompagnied by binary installer images,
the following applies to satisfy license requirements:
I hereby offer to provide the source code
for the relevant Debian binary packages,
included in the installer, on request.
However, you will probably find it easier
to acquire these packages from the official Debian resources,
ftp.debian.org and/or snapshot.debian.org.
Jonas Smedegaard <firstname.lastname@example.org> Tue 25 Jun 2019 12:16:58 AM CEST