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
1) Download image to your pc:
curl --remote-name http://box.redpill.dk/core/core-lime2-buster-1.0rc1.img.gz
2) 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
3) Make sure card is (connected but) not mounted:
* On linux, check that lsblk lists no mountpoint entry
4) Decompress and copy image onto card
(adjust image name and device path as needed):
sudo cp core-lime2-buster-1.0rc1.img PATH_TO_YOUR_SDCARD
5) 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,
wait 30-60 seconds and then lookup hostname and login with ssh:
avahi-browse --terminate _ssh._tcp
* Or, via network from macOS or Windows,
wait 30-60 seconds and then locate hostname (press CTRL+c to stop) and login with ssh:
dns-sd -B _ssh._tcp
* Username: debian
* Password: insecure
6) Extend the system partition to use the whole disk:
## Network setup
System uses systemd for networking generally,
and IWD for wifi.
Connect to network:
a) With ethernet (builtin or a USB dongle) just connect cable
b) With wifi, do something like this:
iwctl station wlan0 get-networks
iwctl station wlan0 connect SSID_LISTED_ABOVE
c) With broadband modem, do something like this:
mmcli --modem=0 --simple-connect="apn=internet"
d) With ethernet needing fixed IP address, do something like this:
* Connect cable to primary plug
* 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:
* Show connectivity and latency towards a common public host:
mtr --displaymode 2 184.108.40.206
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:
1) Make sure network is setup and works (see above).
2) Update package list:
sudo apt update
3) Extend system:
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 <email@example.com> Sun, 05 May 2019 22:30:39 +0200