andi34

# Stop the kiosk service
sudo systemctl stop kiosk

# Remove the kiosk service from startup
sudo systemctl disable kiosk

# Remove the kiosk service
sudo rm -f /etc/systemd/system/kiosk.service

# Reload systemctl daemons

andi34

Raspberry Pi: How to cross-compile and use Mainline Kernel

Notes on how to set up a new Ubuntu 18.04 LTS x64 environment, how to build the Mainline Kernel and place it on a Raspberry Pi OS SD card.

Procedure

1. Install tools needed:

$ apt install git make gcc g++ device-tree-compiler bc bison flex libssl-dev libncurses-dev python3-ply python3-git libgmp3-dev libmpc-dev

andi34

The Raspberry Pi foundation have now released a beta version of an official 64-bit Kernel which can be installed using the rpi-update script. The rpi-update script can be found at https://github.com/Hexxeh/rpi-update/blob/master/rpi-update or through the Raspbian repositories

Introduction

The objective of these instructions is to build a stock 64bit Linux Kernel for use on the Raspberry Pi 4B on a Debian x64 machine (Windows Subsystem for Linux in my case), and deploy on the Raspberry Pi.

Notes:

• Transfer to Pi is using my NAS in this example, replace with shared drive/memory stick etc. as required.
  • (N: drive on Windows and /mnt/NAS on Linux in this example).
• For a specific Kernel version replace the 4.19 with the wanted version in the git clone command.
• Greater than 3GB RAM only currently available on Kernel 4.19