An experimental monolithic kernel built for...interesting...people
bigL4 currently only support RV64GC, with Armv8 support planned.
See docs/ for application binary interface (ABI) documentation, or run cargo doc in the project root to view code documentation.
Below are a list of projects that have heavily inspired the kernel.
- The Linux Kernel
- Google's Fuchsia
This project it licensed under the Apache License, Version 2.0. See LICENSE and NOTICE for more information.