Discitix Kernel

A hobbyist kernel written in C!

About

Discitix is a kernel being written to wander in the world of low level! Discitix aims to be POSIX-compilant in future. Pardon if you find any nonsense in my code :p Join Discitix's own Discord Server

Discitix in action

Building

Clone this repo with -

git clone --recurse-submodules https://github.com/acidicneko/discitix_x86_64.git

Choosing your Build Environment

1. Using Nix shell configuration

You can use the Nix shell configuration to build the kernel.

Enter the nix shell with the following command:

nix-shell

2. Natively on system

Install these dependencies via your package manager.

• QEMU
• GNU Make
• GCC 10+
• NASM
• Parted

All the commands below applies to both the environments.

Build process

Run the following command the first time to set up the environment:

With Make

make setup

Then, you can build the kernel with:

make

To run the kernel, use:

make run

With Karui

Alternatively you can use Karui build tool.

Setup the build environment

karui -r setup

To build the kernel:

karui 

Run the kernel with

karui -r run

Features

• Port to x86_64
• High resolution framebuffer driver
• ANSI Escape sequence handling
• High resolution PSF2 Fonts
• Physical Memory Manager
• Interrupts implemented
• Virtual Memory Manager
• Heap memory
• VFS
• HDD driver
• Syscalls
• ELF execution
• Process Management
• Basic userland