Richard Russell wrote: ↑Mon Nov 01, 2021 9:45 am
Don't do anything yet. I will try to check the amount of memory and how much space I have on my existing SD card (do you know what commands I should use?) to assess how much work would be involved in setting it up, and whether I can safely share it with my existing BBCSDL build platform which is obviously more important.
The command to check disk space is df with the -h option
Code: Select all
$ df -h
Filesystem Size Used Avail Use% Mounted on
/dev/root 15G 2.9G 11G 21% /
devtmpfs 299M 0 299M 0% /dev
tmpfs 428M 0 428M 0% /dev/shm
tmpfs 428M 12M 417M 3% /run
tmpfs 5.0M 4.0K 5.0M 1% /run/lock
tmpfs 428M 0 428M 0% /sys/fs/cgroup
/dev/mmcblk0p1 253M 48M 205M 19% /boot
tmpfs 86M 0 86M 0% /run/user/1000
You are looking for the /dev/root line which shows the space available on the root file system.
I would strongly suggest you purchase a new 16GB MicroSD card and start afresh with a new Raspberry Pi OS Lite installation. I've just tried this myself, and managed to do a fresh install of the OS and the embedded ARM GCC tool chain, then compiled the Pico version(s) of BBC Basic from Bill's fork of BBC SDL.
The whole installation process took about 30 minutes on a 1GB Raspberry Pi 4. The base OS takes about 1.3GB. The tool chain and compilaton artifacts takes a further 1.6GB.
A clean compile of the Pico BBC Basic Console version (in console/pico) takes 33 seconds.
A clean compile of the Pico BBC Basic GUI version (in bin/pico) takes 68 seconds.
Here's a complete log of the commands I needed, starting with a completely fresh Raspberry Pi OS Lite install:
Code: Select all
#
# Enable SSH access, so rest of commands can be cut/pasted (optional)
#
sudo raspi-config nonint do_ssh 0
#
# Install ARM GCC Embedded tool chain, Git and CMake
#
sudo apt-get update
sudo apt-get install git cmake gcc-arm-none-eabi
#
# Create a working directory to keep things tidy
#
mkdir bbc_basic_pico
cd bbc_basic_pico
#
# Install the Pico SDK
#
git clone https://github.com/raspberrypi/pico-sdk.git
cd pico-sdk/
git submodule update --init
cd ..
export PICO_SDK_PATH=$(pwd)/pico-sdk
#
# Install the Pico Extras (needed for the GUI versipn)
#
git clone https://github.com/raspberrypi/pico-extras.git
export PICO_EXTRAS_PATH=$(pwd)/pico-extras
#
# Clone Bill's fork of BBCSDL
#
git clone https://github.com/Memotech-Bill/BBCSDL.git
cd BBCSDL
#
# Build the GUI version
#
cd bin/pico
make
ls -l *.uf2
cd -
#
# Build the console version
#
cd console/pico
make
ls -l *.uf2
cd -
The first command (raspi-config) enables SSH access so you can login from another machine and then more easily cut/paste the rest of the commands. That's just how I prefer to work. You can, of course, manually re-type then on the keyboard, but that's more prone to errors.
I hope this helps you, or indeed anyone else, who wants to build this from scratch.
Dave