ChCore

This is the repository of ChCore Operating System for CS3601 (2021 Fall). This project aims to implement a modern microkernel operating system in AArch64.

Environment Setup

• ChCore is developed with QEMU ARM simulator, Ubuntu 20.04.
• The compiled binary can be executed on Raspberry Pi 3B Board.

Operations

Build

• make or make build: Build the project in build directory.

Emulate

• make qemu: Emulate ChCore in QEMU
• Type Ctrl+A X to quit QEMU

Debug

• make qemu-gdb: Start a GDB server running ChCore
• make gdb: Start a GDB (gdb-multiarch) client
• Type Ctrl+D to quit GDB

License

• ChCore is provided through Modern Operating Systems: Principle and Implementation under MulanPSL-1.0.
• My codes are provided under GNU General Public License v3.0. See LICENSE for more information.