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

manticoreos
231 Stars 7 Forks Other 507 Commits 28 Opened issues

Description

Manticore is a research operating system, written in Rust.

Services available

!
?

Need anything else?

Contributors list

Build Status MIT/Apache 2.0 License Gitter

Manticore is a research operating system to explore parakernels.

asciicast

Table of Contents

Introduction

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

rustup
, Rust, and other dependencies:

./scripts/install-toolchain

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

make

The build system generates a

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

For more information, see Manticore Hacker's Guide.

Running Example Applications

Once

kernel.elf
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

Documentation

Publications

Contributing

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.

Authors

See also the list of contributors who contributed to this project.

License

Licensed under either of these:

  • Apache License, Version 2.0, (LICENSE-APACHE or https://www.apache.org/licenses/LICENSE-2.0)
  • MIT license (LICENSE-MIT or https://opensource.org/licenses/MIT)

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.