Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 8 additions & 8 deletions docs/linux_kernel_development/index.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -82,8 +82,8 @@ We will use these variables througout the workshop.
| Variable | Description |
|-|-|
| `$KDIR` | The kernel's source directory |
| `$MODULE` | The name of the kenrel module's object name (ex: `empty.ko`) |
| `$INIT_RAM_FS` | Foldetr where we stotre the development file system |
| `$MODULE` | The name of the kernel module's object name (ex: `empty.ko`) |
| `$INIT_RAM_FS` | Folder where we store the development file system |

## Setup the Kernel

Expand All @@ -92,7 +92,7 @@ folder.

:::info
We will call the folder in which you have unarchived the kernel `$KDIR`. We suggest setting
and environment variable with the path to this folder.
an environment variable with the path to this folder.

```shell
$ export KDIR=/home/user/linux-6.18-rc5
Expand All @@ -116,8 +116,8 @@ $ make LLVM=1 mrproper

### Configure the Kernel

The Linux kernel is very large, having thousends of components and drivers.
We want a minimal configartion that allows use to write Rust drivers.
The Linux kernel is very large, having thousands of components and drivers.
We want a minimal configuration that allows us to write Rust drivers.

To start from a minimal configuration, we use the `allnoconfig` setup. This will enable
only the minimal components needed to boot.
Expand Down Expand Up @@ -174,7 +174,7 @@ compiled into the kernel and as not seperate modules.
- Userspace-driven configuration filesystem
```

Depending on the platform that we have, we have to select the propoer serial port.
Depending on the platform that we have, we have to select the proper serial port.

<Tabs>

Expand Down Expand Up @@ -211,7 +211,7 @@ Depending on the platform that we have, we have to select the propoer serial por
Now let's build the kernel.

:::tip
As this wil take a longer time, we want to make sure we use all the avilable cores.
As this wil take a longer time, we want to make sure we use all the available cores.

Replace the `n` in `-jn` with the number of cores that your laptop has.
:::
Expand Down Expand Up @@ -805,7 +805,7 @@ Hello, world!

## Setup BusyBox

We have created our own `init`, but the syuste is useless when using it. We need to be able to
We have created our own `init`, but the system is useless when using it. We need to be able to
run a shell and execute shell commands. A tool that provides and `init` and the shell commands
is [BusyBox](https://busybox.net/).

Expand Down