Skip to content

Commit 13f4ccb

Browse files
Updates for Raspberrypi OS tutorials (#28)
1 parent 5b27636 commit 13f4ccb

File tree

1 file changed

+14
-1
lines changed

1 file changed

+14
-1
lines changed

content/this-month/2020-10.md

Lines changed: 14 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,11 +46,24 @@ In this section, we describe updates to personal projects that are not directly
4646

4747
This month, ...
4848

49+
### [`rust-embedded/rust-raspberrypi-OS-tutorials`](https://github.com/rust-embedded/rust-raspberrypi-OS-tutorials)
50+
51+
<span class="gray">(Section written by [@andre-richter](https://github.com/andre-richter))</span>
52+
53+
The [_Operating System development tutorials in Rust on the Raspberry Pi_](https://github.com/rust-embedded/rust-raspberrypi-OS-tutorials) project now provides [Tutorial 15 - `Virtual Memory Part 2: MMIO Remap`](https://github.com/rust-embedded/rust-raspberrypi-OS-tutorials/tree/master/15_virtual_mem_part2_mmio_remap).
54+
55+
It introduces a first set of changes which are eventually needed for separating `kernel` and `user` address spaces:
56+
- The memory mapping strategy gets more sophisticated and no longer `identity maps` the _whole_ of the board's address space.
57+
- Instead, only ranges that are actually needed are mapped:
58+
- The `kernel binary` stays `identity mapped` for now.
59+
- Device `MMIO regions` are remapped lazily to a special virtual address region at the top of the virtual address space during the device driver's `init()`.
60+
61+
4962
## Join Us?
5063

5164
Are you interested in Rust-based operating system development? Our `rust-osdev` organization is always open to new members and new projects. Just let us know if you want to join! A good way for getting in touch is our [gitter channel](https://gitter.im/rust-osdev/Lobby).
5265

5366

5467
<!--
5568
TODO: Update publication date
56-
-->
69+
-->

0 commit comments

Comments
 (0)