---
title: WTF is Linux
author: Rémi Nicole <remi.nicole@smile.fr>
date: 2020-10-06
slide-level: 2
aspectratio: 169

theme: metropolis
colortheme: owl
beameroption: "show notes on second screen=right"

toc: true
highlightstyle: breezedark
lang: en-US

bibliography: ../bibliography.bib
---

# Before we get started

## Practical work practicalities

- One or two group is going to have only 1 Raspberry
- SD card readers are provided

# Buildroot

## Overview

![Buildroot overview](./res/plantuml/buildroot-overview.png){ height=80% }

## Single-project process

![Buildroot single-project process](./res/plantuml/buildroot-project.png){ height=80% }

## Overall process

![Buildroot overall process](./res/plantuml/buildroot-process.png){ height=80% }

## Configuring Buildroot

- Same as the Linux kernel
- Allows you to set:
	- Target architecture
	- Target packages
	- Build options
	- ...

## Default configuration

- To list available default configurations:
	- `make list-defconfigs`
- To set the configurations as one of the default:
	- `make <configuration>_defconfig`

::: notes

We're going to use `raspberrypi2_defconfig`

:::


## Hierarchy of a Buildroot project

- package/
: All the available packages
- toolchain/
: Packages for building stuff
- linux/
: The Linux kernel package
- system/skeleton/
: The skeleton of the target Linux system
- board/
: All the board-specific files
- docs/
: The documentation of Buildroot
- And other things

::: notes

By board-specific files, we can mean: kernel config & patches, scripts, etc.

:::

## Hierarchy of a Buildroot output

Everything into `output/`

- images/
: The images to flash
- target/
: The target root filesystem
- And other things

## Demo time

- _[Raspberry PI 2's pins](https://www.electronicwings.com/public/images/user_images/images/Raspberry%20Pi/RaspberryPi_UART/Raspberry%20pi%203%20UART%20pins.png)_
- _[Serial cable's datasheet](https://docs.rs-online.com/12f1/0900766b811b9e83.pdf)_ page 7

::: notes

- Show Buildroot's download page
- Go to extracted Buildroot directory
- Show available defconfigs
- Use `raspberrypi2_defconfig`
- `make all`
- Show output directory
- Flash image on sdcard
- Put sdcard on raspberry pi
- Show
- Boot raspberry

:::

# Installing GNU/Linux



# References