S2E User for C2A Core

Overview

• This repository is an example of S2E User to execute a sample of minimum C2A and to support an operation with WINGS (TBA).
• The CI system for c2a-core are using this repository.
• This is also an example of SILS/HILS test for C2A development.

Notes

• Details are described S2E Document: How to integrate C2A.
• s2e-core v6.0.0 is used.

Related repositories

• https://github.com/ut-issl/c2a-core
• https://github.com/ut-issl/s2e-core

概要

• C2A Core に含まれる 最小限のC2A サンプル を SILS で動かし，かつ， WINGS (TBA) によって運用（コマンド操作とテレメトリ受信）できるようにするための最低限の S2E User．
• C2A Core の CI にもこの S2E を使っている．
• C2A 開発を始める際につかう SILS/HILS の雛形にもなりうる．

C2A in S2E について

• 詳細は S2E Document: How to integrate C2A を参照のこと．
• ここでは，S2E Core のバージョンは v6.0.0 を用いる．

関連リポジトリ

• https://github.com/ut-issl/c2a-core
• https://github.com/ut-issl/s2e-core