# sel4-libs

**Repository Path**: open-microkernel/sel4-libs

## Basic Information

- **Project Name**: sel4-libs
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: MulanPSL-2.0
- **Default Branch**: main
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2025-12-02
- **Last Updated**: 2025-12-30

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# User-level functions for seL4test

Developing libs that run on seL4test environment, that provides:

- Memory allocation function
- Key-value store function
- File management function

etc.

## Intro

We currently develope with the assumption of aarch64 environment, with hvisor and linux as its root system.

## Run and test
Quick start on Qemu:

```
mkdir build
cd build
../init-build.sh -DPLATFORM=qemu-arm-virt -DSIMULATION=TRUE -DSel4testApp=hello-world
ninja
./simulate
```

**For app test**, the init config should be changed to this:
```
../init-build.sh -DPLATFORM=qemu-arm-virt -DSIMULATION=TRUE -DKernelArmExportPMUUser=TRUE
```
to make sure that:
 - it run in sel4test-driver, 
 - thread init success, 
 - and cycle counters available

**For other platform**, e.g., IMX8MP, using:
```
../init-build.sh -DPLATFORM=imx8mp-evk -DKernelArmExportPMUUser=TRUE
```
or search "declare_platform" for more options