This document is my attempt at:
- Capturing thinking on the work needed for a core Redox kernel port
- Sharing progress with the community as things evolve
- Creating a template that can be used for ports to other architectures
Core Redox kernel means everything needed to get to a non-graphical console-only multi-user shell.
Only the 64-bit execution state (AArch64) with the 64-bit instruction set architecture (A64) shall be supported for the moment. For more background/context read this.
This document is intended to be kept live. It will be updated to reflect the current state of work and any feedback received.
It is hard~futile to come up with a strict sequence of work for such ports but this document is a reasonable template to follow.
The primary focus is on qemu's virt machine platform emulation for the AArch64 architecture.
Targeting a virtual platform is a convenient way to bring up the mechanics of architectural support and makes the jump to silicon easier. The preferred boot chain for AArch64 (explained later) is well supported on this platform and boot-over-tftp from localhost makes the debug cycle very efficient.
Once the core kernel port is complete a similar follow on document will be created that is dedicated to silicon bring-up.
| Item | Notes |
|---|---|
| Linux kernel boot protocol for AArch64 | The linked document describes assumptions made from the bootloader which are field tested and worthwhile to have for Redox an AArch64. The intent is to consider most of the document except anything tied to the Linux kernel itself. |
| Flattened Device Tree | FDT binary blobs supplied by the bootloader shall provide the Redox kernel with misc platform {memory, interrupt, devicemem} maps. Qemu's virt machine platform synthetically creates an FDT blob at a specific address which is very handy. |
The following table lists the boot flow in order.
| Item | Notes |
|---|---|
| ARM Trusted Firmware (TF-A) | TF-A is a de-facto standard reference firmware implementation and proven in the field. TF-A runs post power-on on Armv8-A implementations and eventually hands off to further stages of the boot flow. For qemu's virt machine platform, it is essentially absent but I mean to rely on it heavily for silicon bring up hence mentioning it here. |
| u-boot | u-boot will handle early console access, media access for fetching redox kernel images from non-volatile storage/misc disk subsystems/off the network. u-boot supports loading EFI applications. If EFI support to AArch64 Redox is added in the future that should essentially work out of the box. u-boot will load redox and FDT binary blobs into RAM and jump to the redox kernel. |
| Redox early-init stub | For AArch64, the redox kernel will contain an A64 assembly stub that will setup the MMU from scratch. This is akin to the x86_64 redox bootloader. This stub sets up identity maps for MMU initialization, maps the kernel image itself as well as the device memory for the UART console. At present this stub shall be a part of the kernel itself for simplicity. |
| Redox kstart entry | The early init stub hands off here. kstart will then re-init the MMU more comprehensively. |
The following devices shall be supported. All necessary information specific to these devices will be provided to the redox kernel by the platform specific FDT binary blob.
| Device | Notes |
|---|---|
| Generic Interrupt Controller v2 | The GIC is an Arm-v8A architectural element and is supported by all architecturally compliant processor implementations. GICv2 is supported by qemu's virt machine emulation and most subsequent GIC implementations are backward compatible to GICv2. |
| Generic Timer | The Generic Timer Architecture is an Arm-v8A architectural element and is implemented by all compliant processor implementations. It is supported by qemu. |
| PrimeCell UART PL011 | The PL011 UART is supported by qemu and most ARM systems. |
| Item | Description | Status | Notes |
|---|---|---|---|
| Redox AArch64 toolchain | Create an usable redox AArch64 toolchain specification | Done | Using this JSON spec in isolated tests produces valid AArch64 soft float code |
| Stubbed kernel image | Stub out AArch64 kernel support using the existing x86_64 arch code as a template Modify redox kernel build glue and work iteratively to get a linkable (non-functional) image |
Not done yet | |
| Boot flow | Create a self hosted u-boot -> redox kernel workflow Should obtain the stubbed image from a local TFTP server, load it into RAM and jump to it |
Not done yet | |
| GDB Debug flow | Create a debug workflow centered around qemu's GDB stub This should allow connecting to qemu's GDB stub and debug u-boot/redox stub via a GDB client and single stepping through code |
Not done yet | |
| Verify Redox entry | Verify that control reaches the redox kernel from u-boot | Not done yet | |
| AArch64 early init stub | Add support for raw asm code for early AArch64 init in the redox kernel Verify that this code is located appropriately in the link map and that control reaches this code from u-boot |
Not done yet | |
| Basic DTB support | Integrate the device_tree crate Use the crate to access the qemu supplied DTB image and extract the memory map |
Not done yet | |
| Basic UART support | Use the device_tree crate to get the UART address from the DTB image and set up the initial console This is a polling mode only setup |
Not done yet | |
| Initial MMU support | Implement initial MMU support in the early init stub This forces the MMU into a clean state overriding any bootloader specific setup Create an identity map for MMU init Create a mapping for the kernel image Create a mapping for any devices needed at this stage (UART) |
Not done yet | |
| kmain entry | Verify that kmain entry works post early MMU init | Not done yet | |
| Basic Redox MMU support | Get Redox to create a final set of mappings for everything Verify that this works as expected |
Not done yet | |
| Basic libc support | Flesh out a basic set of libc calls as required for simple user-land apps | Not done yet | |
| userspace_init entry | Verify user-space entry and /sbin/init invocation | Not done yet | |
| Basic Interrupt controller support | Add a GIC driver Verify functionality |
Not done yet | |
| Basic Timer support | Add a Generic Timer driver Verify functionality |
Not done yet | |
| UART interrupt support | Add support for UART interrupts | Not done yet | |
| Task context switch support | Add context switching support Verify functionality |
Not done yet | |
| Login shell | Iteratively add and verify multi-user login shell support | Not done yet | |
| Publish development branch on github | Work with the community to post work done after employer approval | Not done yet | |
| Break out the Bubbly | Drink copious quantities of alcohol to celebrate | Not done yet | |
| Silicon bring-up | Plan silicon bring-up | Not done yet |