# tee_tee_os_kernel **Repository Path**: openharmony-sig/tee_tee_os_kernel ## Basic Information - **Project Name**: tee_tee_os_kernel - **Description**: tee_tee_os_kernel 部件主要包含 TEE 的内核部分,采用微内核架构设计。 - **Primary Language**: Unknown - **License**: MulanPSL-2.0 - **Default Branch**: master - **Homepage**: None - **GVP Project**: No ## Statistics - **Stars**: 13 - **Forks**: 14 - **Created**: 2022-02-17 - **Last Updated**: 2025-05-07 ## Categories & Tags **Categories**: Uncategorized **Tags**: None ## README # 🚨 **重要提示 | IMPORTANT** > > **⚠️ 此代码仓已归档。新地址请访问 [tee_tee_os_kernel](https://gitcode.com/openharmony-sig/tee_tee_os_kernel)。| ⚠️ This repository has been archived. For the new address, please visit [tee_tee_os_kernel](https://gitcode.com/openharmony-sig/tee_tee_os_kernel).** > --- > # tee_tee_os_kernel # The tee_tee_os_kernel component mainly contains the kernel part of TEE, which is designed based on the microkernel architecture. ### 1. The specific module introduction of tee_tee_os_kernel ###
Name of module Introduction
kernel/ipc inter-process communication
kernel/irq interrupt handling
kernel/mm memory management
kernel/object kernel object management
kernel/sched thread scheduling
user/chcore-libs/sys-libs/libohtee library functions that the framework depends on
user/system-services/system-servers/procmgr process management
user/system-services/system-servers/fs_base virtual file system
user/system-services/system-servers/fsm file system management
user/system-services/system-servers/tmpfs in-memory file system
user/system-services/system-servers/chanmgr handle naming, indexing, and distribution of channels
### 2. tee_tee_os_kernel code directories ### ``` base/tee/tee_os_kernel ├── kernel │ ├── arch │ ├── ipc │ ├── irq │ ├── lib │ ├── mm │ ├── object │ ├── sched │ └── syscall ├── tool │ └── read_procmgr_elf_tool ├── user/chcore-libs │ ├── sys-interfaces/chcore-internal │ └── sys-libs/libohtee └── user/system-services/system-servers ├── chanmgr ├── fs_base ├── fsm ├── procmgr └── tmpfs ``` ### 3. tee_tee_os_kernel building guide ### 1. TEEOS kernel code location: `base/tee/tee_os_kernel` 2. TEEOS framework code location: `base/tee/tee_os_framework` 3. Change the directory to the root directory of the OpenHarmony source code, and enter the following command to enter the Docker building environment: ```Bash docker run -it --rm -v $(pwd):$(pwd) -w $(pwd) swr.cn-south-1.myhuaweicloud.com/openharmony-docker/docker_oh_full:3.2 bash ``` 4. Enter the following command to build TEEOS for the Yangfan board: ```Bash ./build.sh --product-name rk3568 --build-target tee --ccache ``` 5. The product is the TEEOS image: `base/tee/tee_os_kernel/kernel/bl32.bin`