piCore WiFi

Under Construction

There are several options to obtain the needed extensions to get WiFi working.
The easiest is to connect the RPi with an Ethernet cable to Internet.
You can than use `tce-load -wi <extension-name>` to install them.

Below the steps to first download the needed extensions to an USB-stick and install them from there.

The needed files depend on the type of RPi and if you have a 32-bit (armhf) or 64-bit (aarch64) piCore OS.