# ipc-boost-la64

**Repository Path**: open-microkernel/ipc-boost-la64

## Basic Information

- **Project Name**: ipc-boost-la64
- **Description**: ipcboost la64
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2025-02-07
- **Last Updated**: 2026-05-21

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# Improving the Performance of the seL4 (On Loongarch platform)

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

Get a docker image from [seL4 docsite](https://docs.sel4.systems/HostDependencies).

Clone the repo:
```sh
mkdir ipc-boost
cd ipc-boost
git clone https://gitee.com/openmicrokernel/ipc-boost-la64.git
```


## Get Started


**Step 1:** create your work directory
```console
mkdir build_3A5000
cd build_3A5000
```

**Step 2:** launch a project
```console
../init-build.sh -DPLATFORM=3A5000 -DLoongarch64=1 -DSIMULATION=1
```

**Step 3:** build
```console
ninja
```

**Step 4:** simulation preparation
copy/link the gernated image from workdir/build_3A5000/images/sel4test-driver-image-loongarch-3A5000 to workdir/qemu-loongarch-runenv

**Step 5:** simulation
```console
./qemu-system-loongarch64 -m 4G -smp 1 -bios ./loongarch_bios_0310_debug.bin -kernel sel4test-driver-image-loongarch-3A5000 -initrd busybox-rootfs.img -append 'root=/dev/ram console=ttyS0,115200 rdinit=/init' -vga none -nographic
```
## Muti-architectureal support

This improved version of the seL4 Microkernel also supports `x86_64`, `ARM` and `RISCV`. These supports can be found  [`here`](https://gitee.com/yimingzhou2002/ipc-boost).

# Documentation

## seL4 Manual

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


# Acknowledgement
NSFC key project 62332012 funded this project's research and developments.

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

We would also like to offer our sincere gratitudes to developers of seL4 and those who expanded seL4 to the Loongarch 64 platform.