Manticore is a research operating system, written in Rust.
Manticore is a research operating system to explore parakernels.
Please refer to the project homepage for more information.
Now that you have the toolchain installed, you can build Manticore with:
The build system generates a
kernel.isoimage, which you can launch under QEMU with:
$ ./scripts/run kernel.iso
For more information, see Manticore Hacker's Guide.
kernel.elfis built, you can build an user space echo server with:
$ make -C usr/echod
and launch it under QEMU with:
$ ./scripts/run usr/echod/echod.iso
Manticore's code is structured into different directories as follows:
arch: machine architecture specific code
drivers: device drivers
kernel: kernel services (e.g., process scheduling and system calls)
lib: support libraries
mm: memory management (e.g., virtual memory manager and kernel dynamic memory allocator)
usr: user space libraries and example applications
Bug reports and pull requests are welcome!
Please note that this project is released with a Contributor Code of Conduct. By participating in this project you agree to abide by its terms. See Code of Coduct for details.
See also the list of contributors who contributed to this project.
Licensed under either of these:
Unless you explicitly state otherwise, any contribution you intentionally submit for inclusion in the work, as defined in the Apache-2.0 license, shall be dual-licensed as above, without any additional terms or conditions.