# SeawayOS_DEV

**Repository Path**: osict/seawayosdev

## Basic Information

- **Project Name**: SeawayOS_DEV
- **Description**: sel4 VMM...
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: dev
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 1
- **Created**: 2022-06-23
- **Last Updated**: 2025-02-28

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# 海微_SeaWayOS_EAL5+认证

#### 介绍
本项目是用于管理中科海微SeaWayOS EAL5+认证相关评估证据

#### 软件架构
软件架构说明


#### 安装教程

1. 进入docker环境： docker run -it -v `pwd`:/workspace seaway/build
2. 使用make wasmc构建工程
3. 进入对应build目录，使用ninja -j$(nproc) 编译工程


#### 使用说明

1.  docker容器中如遇permission denied，使用chmod 757 <pwd/..>
2.  新增.gitigonre将不生效，按照如下方法生效：

    ```bash
    # 首先修改你的.gitignore文件
    git rm -r --cached .    #清除缓存
    git add .    # 重新trace file
    git commit -m "update .gitignore"    #提交变更并注释
    git push origin master  #如果需要同步到remote的主分支的话

    ```
3.  xxxx

#### 参与贡献

1.  Fork 本仓库
2.  新建 Feat_xxx 分支
3.  提交代码
4.  新建 Pull Request


#### 特技

1.  使用 Readme\_XXX.md 来支持不同的语言，例如 Readme\_en.md, Readme\_zh.md
2.  Gitee 官方博客 [blog.gitee.com](https://blog.gitee.com)
3.  你可以 [https://gitee.com/explore](https://gitee.com/explore) 这个地址来了解 Gitee 上的优秀开源项目
4.  [GVP](https://gitee.com/gvp) 全称是 Gitee 最有价值开源项目，是综合评定出的优秀开源项目
5.  Gitee 官方提供的使用手册 [https://gitee.com/help](https://gitee.com/help)
6.  Gitee 封面人物是一档用来展示 Gitee 会员风采的栏目 [https://gitee.com/gitee-stars/](https://gitee.com/gitee-stars/)



# SeawayOS Build Doc

# 配置机器环境

## 更新依赖

### Ubuntu

<pre>
host% <b>sudo apt-get -y update</b>
host% <b>sudo apt-get -y upgrade</b>
host% <b>sudo apt -y install git</b>
</pre>


## 安装配置docker

<pre>
host% <b>sudo apt -y install docker docker.io</b>
host% <b>sudo usermod -aG docker $USER</b>
</pre>


## Clone本仓库代码
<pre>
host% <b>git clone xxx</b>
</pre>

## 构建 docker images
<pre>
host% <b>make docker</b>
</pre>

## 使用

<pre>
host% <b>cd ${WORKSPACE}</b>
host% <b>pip install ordered_set</b>

host% <b>make rpi4_defconfig</b>

host% <b>make vm_minimal</b>
host% <b>ls -l rpi4_vm_minimal/images</b>
-rwxr-xr-x. 1 build build 37641488 Aug 28 02:50 capdl-loader-image-arm-bcm2711

host% <b>make vm_multi</b>
host% <b>ls -l rpi4_vm_multi/images</b>
-rwxr-xr-x. 1 build build 51656592 Aug 28 02:52 capdl-loader-image-arm-bcm2711

## 进入docker容器

host% <b>make shell</b>

container% <b>aarch64-linux-gnu-objdump -D rpi4_sel4test/kernel/kernel.elf</b>
</pre>