# HG changeset patch # User matac42 # Date 1666007922 -32400 # Node ID e10a03f1e63ab8d054e5c6ea3e44fe90990f9254 init diff -r 000000000000 -r e10a03f1e63a .hgignore --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.hgignore Mon Oct 17 20:58:42 2022 +0900 @@ -0,0 +1,1 @@ +.DS_Store diff -r 000000000000 -r e10a03f1e63a Makefile --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Makefile Mon Oct 17 20:58:42 2022 +0900 @@ -0,0 +1,3 @@ +build: + marp template.md --theme cr.css + open template.html \ No newline at end of file diff -r 000000000000 -r e10a03f1e63a README.md --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/README.md Mon Oct 17 20:58:42 2022 +0900 @@ -0,0 +1,15 @@ +## 使用方法 + +基本的には`Marp for VSCode` Extensionを使用する + +Extensionをインストール後、次のVSCodeの設定を書き込む。 +テーマのパスは環境によって違うかもしれないので確認する。 +おそらく、VSCodeで開いているディレクトリからの相対パスを入れれば良い。 +```json + "markdown.marp.exportType": "html", + "markdown.marp.themes": ["template/cr.css"] +``` + +## CLIでの使用方法 + +Makefileを作成してある \ No newline at end of file diff -r 000000000000 -r e10a03f1e63a cr.css --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/cr.css Mon Oct 17 20:58:42 2022 +0900 @@ -0,0 +1,30 @@ +/* @theme cr */ + +@import 'default'; + +section { + background-image: url('./logo.svg'); + background-repeat: no-repeat; + background-position: right 2rem bottom 0.6rem; + background-size: 12%; +} + +h1 { + color: #828db2; + font-size: 2.1rem; +} + +h2 { + background-color: #828db2; + color: #fff; + padding: 0.3rem; + font-size: 2.1rem; +} + +p { + font-size: 1.3rem; +} + +ul, ol { + font-size: 1.2rem; +} diff -r 000000000000 -r e10a03f1e63a figs/test.drawio --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/figs/test.drawio Mon Oct 17 20:58:42 2022 +0900 @@ -0,0 +1,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff -r 000000000000 -r e10a03f1e63a figs/test.svg --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/figs/test.svg Mon Oct 17 20:58:42 2022 +0900 @@ -0,0 +1,1 @@ + \ No newline at end of file diff -r 000000000000 -r e10a03f1e63a logo.svg --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/logo.svg Mon Oct 17 20:58:42 2022 +0900 @@ -0,0 +1,683 @@ + + + + \ No newline at end of file diff -r 000000000000 -r e10a03f1e63a template.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/template.html Mon Oct 17 20:58:42 2022 +0900 @@ -0,0 +1,94 @@ +

Header	Header
Text	Text

スピーカーノート

\ No newline at end of file diff -r 000000000000 -r e10a03f1e63a template.md --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/template.md Mon Oct 17 20:58:42 2022 +0900 @@ -0,0 +1,82 @@ +--- +marp: true +theme: cr +paginate: true +--- + +# GearsOSにおける
inodeを用いたファイルシステムの構築 + + + +琉球大学理工学研究科知能情報プログラム +河野研究室 + +又吉雄斗 + +--- + +## 研究目的 + +- アプリケーションの信頼性を保証するために， + アプリケーションが動作するOSの信頼性を高める必要がある +- 信頼性確保の方法として定理証明やモデル検査がある +- 当研究室では，信頼性の保証を目的としたGearsOSを開発している +- GearsOSで未実装の機能であるファイルシステムの実装を目指す + +--- + +# 真ん中タイトル + +--- + +## Bullet Points + +- Show all +- at once +* or one +* by one + +--- + +## Tables + +| Header | Header | +| ------ | ------ | +| Text | Text | + +--- + +## CodeGear Transition + +- CodeGear receives DataGear +- CodeGear writes to the next DataGear + +![bg right:60% 80%](figs/test.svg) + +--- + +## Code + +raw_socket +```c +__code raw_socket_init(){ + int sock = socket(PF_PACKET, SOCK_RAW, htons(ETH_P_ALL)); + if(sock == -1){ + perror("Failed to open socket"); + exit(1); + } + uint8_t buf[1550]; + + goto raw_socket(sock, buf, sizeof(buf)); + } +``` + +--- + +## References + +- [Get Started](https://github.com/marp-team/marp) +- [Documentation](https://marpit.marp.app/) +- [CLI](https://github.com/marp-team/marp-cli)

GearsOSにおけるinodeを用いたファイルシステムの構築

研究目的

真ん中タイトル

Bullet Points

Tables

CodeGear Transition

Code

References

GearsOSにおける
inodeを用いたファイルシステムの構築