Más contenido relacionado
La actualidad más candente (20)
Similar a Web IDE Gitpodを使ってTOPPES OSを体験してみよう (20)
Web IDE Gitpodを使ってTOPPES OSを体験してみよう
- 2. おしながき
TOPPERSプロジェクトの簡単なご紹介
Web IDE Gitpodってなに?
Gitpodのアカウント作成方法
Gitpodを使ったサンプルプログラム
実機レスでお手軽に始めてみよう!
カスタマイズして使ってみたい(環境をforkする)
もうちょっとTOPPERS(RTOS)を触ってみたい方へ
TOPPERS BASE PLATFORM
TOPPERS/箱庭
2
- 5. Web IDE Gitpod ってなに?(1/2)
IDE(Integrated Development Environment):統合
開発環境と呼ばれます
エディタ、コンパイラ、リンカ、デバッガなどがひとまとまりに
なっている開発環境です
Xcode(iOS) や Eclipse, VisualStuio などが有名
Web IDE(クラウドIDEとも)
Webブラウザ上で動作する統合開発環境
ブラウザさえあれば、どこからでも同じ環境で開発
クラウド上に開発環境を構築する
AWS Cloud9, Google App Script(GAS), GitHub
Codespaces, Gitpod, Paiza Cloud, PizzaFactory
5
- 6. Web IDE Gitpod ってなに?(2/2)
Gitpodの特徴
安価に始められる
Publicリポジトリであれば無料で利用可能
GitHub, Gitlab, Bitbucketに対応
オンプレでの利用も可能(試したことないです)
VS Codeライクなユーザインタフェース
Eclipse Theiaをベースに開発
VS Codeのプラグインが利用可能
Docker file/imageで柔軟な開発環境を構築
自分で作成したコンテナイメージを使って開発環境を構築でき
る
https://www.gitpod.io/
6
今回は無料で
利用します
- 11. 使用するIDEの紹介
次の開発環境を用意
ホスト環境
Ubuntu 20.04 LTS (gitpod側で用意済み)
ビルド環境
gcc-arm-none-eabi
(シミュレーション)実行環境
QEMU(TOPPESのZynq-7000に対応)
ターゲット情報
Xilinx Zynq-7000(Zybo Z7)
その他
Cortex-A・Mシリーズもビルドできます
デバッグ環境を用意する必要あり
11
- 18. Gitpod Tips
2. 自分のプロジェクトで使ってみたい!
① 今回のリポジトリをforkしてお使いいただけます
forkすればそのままコミットできます(ただし、Publicプロ
ジェクトのみ)
② gitコマンドも使えるので、自分のプロジェクトを
git submoduleで追加も可能
3. 自分の環境をカスタマイズしたい
① .gitpod.Dockerfileをカスタマイズすることで他の環
境にも対応できます
18