# ipcBoost

**Repository Path**: yimingzhou2002/ipc-boost

## Basic Information

- **Project Name**: ipcBoost
- **Description**: ipcboost repo
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: main
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2025-01-16
- **Last Updated**: 2026-05-19

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

<!--
     Copyright 2017, Data61, CSIRO (ABN 41 687 119 230).

     SPDX-License-Identifier: CC-BY-SA-4.0
-->

# Improving the Performance of the seL4

This repository provides an novel RPC like fast IPC pathway to shorten task switching & IPC time, which further enhanced the overall performance of the seL4 microkernel. 

## Prerequisites

Follow the instructions for setting up your host environment on the [seL4 docsite](https://docs.sel4.systems/HostDependencies).

Clone the repo:
```sh
mkdir ipc-boost
cd ipc-boost
git clone https://gitee.com/yimingzhou2002/ipc-boost.git
```
Performance measurements requires files within `/.repo` supports, you might want to copy the entire `/.repo` folder from the seL4-tutorial by using the `cp` command.

## Get Started


**Step 1:** Change the names's of folders `dynamic-3` & `dynamic-4`.

**Step 2:**
Once you have that, a project can be started through the use of the `init` script
that is provided in the root directory. Using this script you can specify a
project and target machine and it will create a copy of the tutorial for you to
work on.
For those who simply wants to try out our new fastpath:
```sh
./init --tut dynamic-3 --solution
```
For those who wants to validate new Fastpath's performance:
```sh
./init --tut dynamic-4 --solution
```
The `init` script will initialize a build directory in the current directory and at the end
it will print out a list of files that need to be modified to complete the tutorial. Building
is performed simply be invoking `ninja`, and once the tutorial compiles it can be tested
in Qemu by using the provided simulation script through `./simulate`

**Step 3:** 
Replace generated `dynamic-3` & `dynamic-4` folders' contents with original repo folders'(which you renamed in step 1) contents.

<!-- This tutorial repository is part of a larger collection of repositories, which
are required to run the tutorial and are coordinated in a manifest file. See
[this guide](https://docs.sel4.systems/Tutorials/#the-tutorials) on how to check
out a consistent set. -->
## Projects and targets
**ARM** projects is now available by using:

```sh
./init --tut dynamic-3 --plat zynq7000 --solution
```
then follow the instructions in [Get Started](https://gitee.com/yimingzhou2002/ipc-boost#Get-Started)

**riscv** project for sel4test(modified to test dynamic-3 and new fastpath) is now available by using:

```sh
 cmake -G Ninja -DPLATFORM=qemu-riscv-virt -DSIMULATION=TRUE -DSEL4_CACHE_DIR=/root/.sel4_cache -C /yourWorkDir/sel4-ipcBoost/projects/sel4test/settings.cmake /yourWorkDir/sel4-ipcBoost/projects/sel4test
```

**Loongarch** is a relatively new ISA developed by Loongson Technology Co.,Ltd, People's Repubulic of China. We have developed and implemented our new ipc fastpath on looongarch platform as well. A Loongarch project can be found [**here**](https://gitee.com/open-microkernel/ipc-boost-la64).

<!-- The `-h` switch to the `init` script provides a list of different projects and targets that
can be provided to `--plat` and `--tut` respectively.

Theoretically‌ most projects support any target platform, but only x86_64 is currently verified by us. -->
 <!-- with the exception of hello-camkes-timer, which only
supports the zynq7000 platform. -->


<!-- ## Solutions

To view the solutions for a tutorial instead of performing the tutorial pass the `--solution` flag
to the `init` script

Example:

```sh
mkdir build_hello_world
cd build_hello_world
../init --plat pc99 --tut hello-world --solution
```

After which it will tell you where the solution files are that you can look at. You can then
do `ninja && ./simulate` to build and run the solution. -->

<!-- ### Reporting issues or bugs in the tutorials:

Please report any issues you find in the tutorials (bugs, outdated API calls, etc) by filing an issue on the public github repository:
<https://github.com/seL4/sel4-tutorials/issues/> -->

<!-- ### Build system tutorial

Due to custom written additions to the build system specifically for the tutorials they are
not appropriate for learning how to create and structure new applications/systems. Future
tutorials for this will be forthcoming. For now it is suggested to look at other existing
applications for ideas. -->

# Documentation

<!-- ## Developer wiki

A walkthrough of each tutorial is available on the [`docs site`](https://docs.sel4.systems/Tutorials) -->

<!-- ## Tutorial Slides

The slides used for the tutorial are available in [`docs`](docs). -->

## seL4 Manual

The seL4 manual lives in the kernel source in the [`manual`](https://github.com/seL4/seL4/tree/master/manual) directory.
To generate a PDF go into that directory and type `make`.
You will need to have LaTeX installed to build it.

A pre-generated PDF version can be found [`here`](http://sel4.systems/Info/Docs/seL4-manual-latest.pdf).

<!-- ## CAmkES Documentation

CAmkES documentation lives in the camkes-tool repository in [docs/index.md](https://github.com/seL4/camkes-tool/blob/master/docs/index.md). -->

# Grants and Fundings
NSFC key project 62332012 funded this project's developments.

国家自然科学基金重点项目“分布式微内核操作系统理论与关键技术”(批准号: 62332012)资助项目