Need help with manticore?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

255 Stars 9 Forks Other 570 Commits 27 Opened issues


Manticore is a research operating system, written in Rust.

Services available


Need anything else?

Contributors list

Build Status MIT/Apache 2.0 License Slack

Manticore is a research operating system to explore parakernels.

Table of Contents


Manticore is a clean-slate research operating system, written in the Rust programming language, with the aim of exploring the parakernel OS architecture.

Please refer to the project homepage for more information.

Getting Started

Building from Sources

First, install the toolchain, which includes

, Rust, and other dependencies:


Now that you have the toolchain installed, you can build Manticore with:


The build system generates a

image, which you can launch under QEMU with:
$ ./scripts/run kernel.iso

For more information, see Manticore Hacker's Guide.

Running Example Applications


is 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

Supported Hardware

  • Legacy-free PC with a 64-bit x86 processor
    • xAPIC2 interrupt controller
    • MSI-X interrupt delivery
    • PCIe 3.0 bus
  • VirtIO network device

Code Structure

Manticore's code is structured into different directories as follows:

  • arch
    : machine architecture specific code
  • drivers
    : device drivers
    • virtio
      : VirtIO device drivers
    • pci
      : PCIe 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:

  • Apache License, Version 2.0, (LICENSE-APACHE or
  • MIT license (LICENSE-MIT or

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.

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.