-
Notifications
You must be signed in to change notification settings - Fork 1
x86_64 Pinion implementation
License
nickbjohnson4224/pinion64
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
Pinion - a kernel for your kernel Pinion is a stripped-down microkernel specification that is designed to act as a threading and paging engine for a larger operating system. In the same way that a game engine provides mechanism for a video game without imposing specific policies, Pinion provides the common but difficult-to-implement components of an OS kernel without defining anything about how the system interacts with userspace, so that new systems can be developed quickly with a common stable base. Pinion itself is only a specification for a kernel, while this project (pinion64) is a particular implementation for x86_64 systems. The intent is for the specification to be comprehensive and well-defined enough for any Pinion-compliant kernel to be usable as a drop-in replacement for any other (for any fixed processor architecture, of course). In short, if you develop an OS on top of Pinion, you will not only get (stable and tested!) memory management, interrupt handling, and preemptive multithreading for free, but also transparent upgrades. When (i.e. if) versions of Pinion are developed for other architectures, it will also likely be easy to port Pinion-based systems from x86_64 to those architectures, because the high-level semantics will be preserved. The name Pinion comes from the name for the outermost primary feathers on a bird's wing, which are critical for flight. ============================================================================== Build Instructions: Before you can build Pinion, you must install a cross compiler. This is completely automated. Simply type: make tools Once this has completed (it may take 20-30 minutes), the Pinion kernel and test system may be compiled and tested by typing: make test (This relies on cdrtools being installed on the host system.) To clean up all generated files, type: make clean See the Makefile for more build targets.
About
x86_64 Pinion implementation
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published