Justin C. Miller e19177d3ed [srv.init] Rework init to use module iterator
Init now uses a module iterator that facilitates filtering on module
type.
2021-08-26 00:52:08 -07:00
2021-08-01 14:25:18 -07:00
2018-03-25 14:06:25 -07:00
2021-02-10 23:59:05 -08:00
2019-10-06 01:37:46 -07:00
2019-02-17 23:38:40 -08:00
2021-04-07 23:05:58 -07:00

jsix

The jsix operating system

jsix is a custom multi-core x64 operating system that I am building from scratch. It's far from finished, or even being usable - see the Status and Roadmap section, below.

The design goals of the project are:

  • Modernity - I'm not interested in designing for legacy systems, or running on all hardware out there. My target is only 64 bit architecutres, and modern commodity hardware. Currently that means x64 systems with Nehalem or newer CPUs and UEFI firmware. (See this list for the currently required CPU features.) Eventually I'd like to work on an AArch64 port, partly to force myself to factor out the architecture-dependent pieces of the code base.

  • Modularity - I'd like to pull as much of the system out into separate processes as possible, in the microkernel fashion. A sub-goal of this is to explore where the bottlenecks of such a microkernel are now, and whether eschewing legacy hardware will let me design a system that's less bogged down by the traditional microkernel problems.

  • Exploration - I'm really mostly doing this to have fun learning and exploring modern OS development. Initial feature implementations may temporarily throw away modular design to allow for exploration of the related hardware.

A note on the name: This kernel was originally named Popcorn, but I have since discovered that the Popcorn Linux project is also developing a kernel with that name, started around the same time as this project. So I've renamed this kernel jsix (Always styled jsix or j6, never capitalized) as an homage to L4, xv6, and my wonderful wife.

Status and Roadmap

The following major feature areas are targets for jsix development:

UEFI boot loader

Done. The bootloader loads the kernel and initial userspace programs, and sets up necessary kernel arguments about the memory map and EFI GOP framebuffer. Possible future ideas:

  • take over more init-time functions from the kernel
  • rewrite it in Zig

Memory

Virtual memory: Sufficient. The kernel manages virtual memory with a number of kinds of vm_area objects representing mapped areas, which can belong to one or more vm_space objects which represent a whole virtual memory space. (Each process has a vm_space, and so does the kernel itself.)

Remaining to do:

  • TLB shootdowns
  • Page swapping

Physical page allocation: Sufficient. The current physical page allocator implementation suses a group of block representing up-to-1GiB areas of usable memory as defined by the bootloader. Each block has a three-level bitmap denoting free/used pages.

Multitasking

Sufficient. The global scheduler object keeps separate ready/blocked lists per core. Cores periodically attempt to balance load via work stealing.

User-space tasks are able to create threads as well as other processes.

Several kernel-only tasks exist, though I'm trying to reduce that. Eventually only the timekeeping task should be a separate kernel-only thread.

API

In progress. User-space tasks are able to make syscalls to the kernel via fast SYSCALL/SYSRET instructions.

Major tasks still to do:

  • The process initialization protocol needs to be re-built entirely.
  • Processes' handles to kernel objects need the ability to check capabilities

Hardware Support

  • Framebuffer driver: In progress. Currently on machines with a video device accessible by UEFI, jsix starts a user-space framebuffer driver that only prints out kernel logs.
  • Serial driver: To do. Machines without a video device should have a user-space log output task like the framebuffer driver, but currently this is done inside the kernel.
  • USB driver: To do
  • AHCI (SATA) driver: To do

Building

jsix uses the Ninja build tool, and generates the build files for it with a custom tool called Bonnibel. The build also relies on a custom sysroot, which can be downloaded via the [Peru][] tool, or built locally.

Requrirements:

  • Bonnibel
  • ninja
  • clang & lld
  • nasm
  • mtools
  • curl and Peru if downloading the toolchain

Both Bonnibel and Peru can be installed via pip:

pip3 install --user -U bonnibel peru

Setting up the sysroot

Running peru sync will download and unpack the toolchain into sysroot.

Compiling the sysroot yourself

If you have CMake installed, runing the scripts/build_sysroot.sh script will download and build a LLVM toolchain configured for building the sysroot, and then build the sysroot with it.

Built sysroots are actually stored in ~/.local/lib/jsix/sysroots and installed in the project dir via symbolic link, so having mulitple jsix working trees or switching sysroot versions is easy.

Building and running jsix

Once the toolchain has been set up, running Bonnibel's pb init command will set up the build configuration, and pb build will actually run the build. If you have qemu-system-x86_64 installed, the qemu.sh script will to run jsix in QEMU -nographic mode.

I personally run this either from a real debian amd64 testing/buster machine or a windows WSL debian testing/buster installation. After installing the LLVM APT sources, the following should be enough to set up such a system to build the kernel:

pip3 install --user -U bonnibel peru
sudo apt install qemu-system-x86 nasm clang-11 lld-11 mtools curl ninja-build
sudo update-alternatives /usr/bin/clang clang /usr/bin/clang-11 1100
sudo update-alternatives /usr/bin/clang++ clang++ /usr/bin/clang++-11 1100
sudo update-alternatives /usr/bin/ld.lld ld.lld /usr/bin/ld.lld-11 1100
Description
A hobby operating system for x86_64, boots with UEFI.
Readme 15 MiB
Languages
C++ 66.1%
Python 23.2%
C 8%
Assembly 2%
Shell 0.5%
Other 0.1%