taunusflieger

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 device-tree-compiler bison flex libssl-dev libncurses-dev

taunusflieger

#![no_std]
#![no_main]
#![feature(type_alias_impl_trait)]
#![feature(alloc_error_handler)]
#![allow(incomplete_features)]
#![macro_use]

use alloc_cortex_m::CortexMHeap;
use core::alloc::Layout;
use core::mem;