Raspberry Pi, GPU userland apps and camera toolsThis section describes how you run install Plop Linux on the Raspberry Pi, how you cross compile the Linux Kernel for the Raspberry Pi and how you compile/install some Raspberry Pi related tools. Supported Raspberry Pi models: 1-4 Install Plop LinuxPlop Linux is for advanced Linux users. The install documentation does not describe every step with commands. When it's too difficult for people then I will update this page with more details. Boot a Linux on a computer with a SD card reader. Download ploplinux-desktop-24.2-arm.tar.gz and raspberry-pi-boot.tar.gz • On the SD Card, create partition 1 with about 150 MB. Partition type: 0x0C (FAT partition). This will be the boot partition • On the SD Card, create partition 2 for Plop Linux. Minimum size is 7 GB (or 3 GB without /opt). • Create a FAT file system on the first partition 'mkfs -F 32 /dev/PARTITION1' (the boot partition).
• Create an Ext3 file system on the second partition 'mkfs.ext3 /dev/PARTITION2' (the Plop Linux partition).
• Mount the second Partition (Plop Linux partition) to '/mnt'. • Extract the ploplinux-desktop-24.2-arm.tar.gz archive to '/mnt'. • Move the directories in '/mnt/ploplinux-desktop-24.2-arm/' one directory up that they became the root directories on the Plop Linux partition. • Remove the empty '/mnt/ploplinux-desktop-24.2-arm/' directory. • Mount the first partition (boot partition) to '/mnt/boot'. • Extract the raspberry-pi-boot.tar.gz archive to '/mnt'. • A few important files (the default settings should be ok):
• Unmount '/mnt/boot'. • Unmount '/mnt'. Now boot your Raspberry Pi with the SD Card. Continue with the personalisation of your fresh system. See here for general Plop Linux Desktop configurations and here for ARM related configurations. Raspberry Pi 4 - Boot 32 bit / 64 bitThe Raspberry Pi 4 has a 64 bit CPU. To boot with the 32 bit kernel, write into '/boot/config.txt' [all] arm_64bit=0 To boot with the 64 bit kernel use [all] arm_64bit=1 Raspberry Pi 4 - No HDMI outputAdd at the beginning of the file '/boot/config.txt' the following line to activate the HDMI output. hdmi_force_hotplug=1 Compile the Linux KernelEither compile the Linux Kernel on your Raspberry Pi (slow) or you have to setup a cross compile environment (see here) on your computer. • When you use the cross compile environment, then start the 'shell.sh' script. • Download the Linux Kernel Source Code for Raspberry Pi and extract it.
• Change to the Linux Kernel directory 'cd linux' and setup base configuration
• To compile the kernel run 'make && make modules_install' Note: 'make modules_install' installs the kernel modules. When you compile on the Raspberry Pi then the modules will be installed to '/lib/modules'. When you compile in the cross compile environment then you find the modules in the 'kernel-modules/' directory where you started the 'shell.sh' script. • You find the Linux Kernel file in the 'arch/arm/boot/' directory. The file name is 'zImage'. Rename it to 'kernel.img'. • Copy the 'kernel.img' file to the boot partition of your Raspberry Pi. Note: When you compile in a cross compile environment, then an easy way to transfer the files
to your running Raspberry Pi is using sshfs. GPU userland apps and camera toolsCompile the tools on your Raspberry Pi or in a cross compile environment. Get the latest version from the git repository or download the package raspberry-pi-tools.tar.gz and extract it. You can also download the individual files from here. To compile and install the GPU userland and the Python camera modules at once run the script '000_all'. sh 000_all The build scripts are 010_b_setuptools: Install the Python setup tools 020_b_picamera: Install the Python Raspberry Pi Camera modules 030_b_userland: Compile, patch and install the GPU userland apps (raspistill, raspivid, raspiyuv, ...) Finally copy the file '.bash_RaspberryPI' to your home directory and add the line . ~/.bash_RaspberryPI to the end of your '.bash_profile' file. This script adds environment variables for the userland apps. Log out and log in to activate the environment variables. Additional infos000_src/userland-plop.patch: Patch the userland to fix the vcos.h problems. It also creates a new build script. 001_git-userland: Get the latest GPU userland source code. Additional resources
https://pypi.python.org/pypi/setuptools#downloads
© 2024 by
Elmar Hanlhofer |