Memory Management Kernel is an abstract of permission above the normal operating system. Considering the increasing number of malicious software and related attacks targeting operating system kernel, we design a new architecture to set up a secure memory area by kernel partition and privilege partition. We hope our architecture can enhance operating system securitysolve this problem.
This reporitory is the implementation of our architecture on RISC-V platform. We use a minor hardware feature to control the paging mechanism in operating system. If the new platform has the similar hardware feature, our architecture can also be implemented on it. We hope our design can be widely applied to multiple platforms.
- Rust: nightly-2023-06-25
- qemu: qemu-system-riscv64 4.0
- target: riscv64gc-unknown-none-elf
- toolchain: riscv64-unknown-linux-musl-gcc
We provide the mmk_payload_demo repository and hope it can help you run your kernel successfully.
You can adjust the arguments in Makefile to adapt your environment. Maybe you should change the value of PAYLOAD_PATH and PAYLOAD_BIN.
# check the environment
$ make env
# run the kernel
$ make run You can replace the memory management submodel with the provided API, and put your kernel below the payloads directory. For the kernel in Rust, please use the interface in mmi_rust repository. For the kernel in C, please use the static library in mmi_rust repository.
Run the following commands to test your own kernel with RPOS:
# check the environment
$ make env
# run the kernel
$ make run PAYLOAD_PATH=<your payload>If you have any comments, please send an email to us.
Yan_ice Email:
JADDYK Email: