Basekernel for Edcucation
Go to file
2024-12-09 20:47:14 +01:00
doc Mon 14 Oct 23:05:59 CEST 2024 2024-10-14 23:06:36 +02:00
include Thu 17 Oct 23:42:52 CEST 2024 2024-10-17 23:43:35 +02:00
kernel Delete kernel/is_valid.o 2024-12-09 20:47:14 +01:00
library Mon 14 Oct 23:14:00 CEST 2024 2024-10-14 23:14:33 +02:00
user Mon 14 Oct 23:09:15 CEST 2024 2024-10-14 23:10:08 +02:00
webv86 Upload files to "webv86/web" 2024-10-20 15:21:22 +02:00
i686-elf-tools.sh Mon 14 Oct 23:41:31 CEST 2024 2024-10-14 23:41:46 +02:00
Makefile Mon 14 Oct 23:40:58 CEST 2024 2024-10-14 23:41:14 +02:00
Makefile.config Mon 14 Oct 23:13:50 CEST 2024 2024-10-14 23:14:05 +02:00
README.md Update README.md 2024-10-16 14:42:26 +02:00

The Basekernel Operating System Kernel

Simple Operating System for Education

Original source: https://github.com/dthain/basekernel

Basekernel is a simple operating system kernel for research, teaching, and fun.

Basekernel is not a complete operating system, but it is a starting point for those who wish to study and develop new operating system code. If you want to build something different than Windows, Linux, or Multics, Basekernel may be a good place to try out your new ideas.

Basekernel can boot an Intel PC-compatible virtual machine in 32-bit protected mode, with support for VESA framebuffer graphics, ATA hard disks, ATAPI optical devices, process management, memory protection, simple graphics, and basic filesystem. From there, it's your job to write user-level programs and expand the system.

To be clear, this is raw low-level code, not a production system. If you want to hack code and learn about operating system, you will like Basekernel. If you are looking for a new OS to run on your laptop, then this is not what you want.

This project is led by Prof. Douglas Thain at the University of Notre Dame. A variety of students have contributed to the code, including Jack Mazanec, Douglas Smith, Ethan Williams, Jon Westhoff, and Kevin Wern.

To learn more, see the Basekernel Wiki.

Quick VM86

../../dist/webv86/web/vm86.html

cd ../../dist/webv86/web/ vm86.html

VM86 Set-up is redirected to basekernel.iso in this folder.

Elf GCC Crosstools

  1. http://edu-9.de/uploads/software/gcc-elf-cross/i686-elf-tools-linux.zip
  2. http://edu-9.de/uploads/software/gcc-elf-cross/i686-elf-tools-windows.zip
  3. http://edu-9.de/uploads/software/gcc-elf-cross/make-3.81-bin.zip
  4. http://edu-9.de/uploads/software/gcc-elf-cross/make-3.81-dep.zip

Windows host (development) OS requires 2-4

Quick Start Instructions

If you are building on a Linux-X86 machine and have the QEMU virtual machine installed:

git clone https://github.com/dthain/basekernel
cd basekernel
make
qemu-system-i386 -cdrom basekernel.iso

And you should see something like this:

After some initial boot messages, you will see the kernel shell prompt. This allows you to take some simple actions before running the first user level program. To automatically boot the first available filesystem, whether on cdrom or harddisk, run automount:

automount

Then use the list command to examine the root directory:

list /

And use the run command to run a program. For example, /bin/manager.exe runs a simple four-pane window manager with several tasks in parallel. (Use TAB to switch focus between programs, and tilde to cancel out of the window manager.)

run /bin/manager.exe

Press TAB to change the focus between windows, and you can interact with each process in turn.

Cross-Compiling Instructions

If you are building on any other type of machine, you will probably need to build a cross-compiler using build-cross-compiler.sh and then edit Makefile.config to use the cross compiler binaries, then execute make to create basekernel.iso