1 files changed, 119 insertions, 0 deletions

diff --git a/2020-10-06.md b/2020-10-06.md
new file mode 100644
index 0000000..31133e4
--- /dev/null
+++ b/2020-10-06.md
@@ -0,0 +1,119 @@
+---
+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