GitHub - asterinas/asterinas: Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
A secure, fast, and general-purpose OS kernel written in Rust and compatible with Linux Asterinas_NixOS_0.17.0_in_Action.mp4 News: 2025-12-08: FAST 2026 accepted a paper on a novel secure storage solution having been integrated into Asterinas: MlsDisk: Trusted Block Storage for TEEs Based on Layered Secure Logging. 2025-10-17: ICSE 2026 accepted yet another paper about Asterinas: RusyFuzz: Unhandl
Async/Await | Writing an OS in Rust
ã“ã®è¨˜äº‹ã¯ç¿»è¨³ã•ã‚ŒãŸã‚‚ã®ã§ã™ï¼š ã“ã®è¨˜äº‹ã¯Async/Awaitをコミュニティã®æ‰‹ã«ã‚ˆã‚Šç¿»è¨³ã—ãŸã‚‚ã®ã§ã™ã€‚ãã®ãŸã‚ã€ç¿»è¨³ãŒå®Œå…¨ãƒ»æœ€æ–°ã§ãªã‹ã£ãŸã‚Šã€åŽŸæ–‡ã«ãªã„誤りをå«ã‚“ã§ã„ã‚‹å¯èƒ½æ€§ãŒã‚ã‚Šã¾ã™ã€‚å•é¡ŒãŒã‚ã‚Œã°ã“ã®issue上ã§å ±å‘Šã—ã¦ãã ã•ã„ï¼ ç¿»è¨³è€…ï¼š @kahirokunn, @garasubo, @sozysozbot åŠã³ @swnakamura. With contributions from @asami-kawasaki åŠã³ @Foo-x. ã“ã®è¨˜äº‹ã§ã¯ã€Rustã®å”調的マルãƒã‚¿ã‚¹ã‚¯ã¨async/await機能ã«ã¤ã„ã¦èª¬æ˜Žã—ã¾ã™ã€‚Rustã®async/await機能ã«ã¤ã„ã¦ã¯ã€Future trait ã®è¨è¨ˆã€ã‚¹ãƒ†ãƒ¼ãƒˆãƒžã‚·ãƒ³ã®å¤‰æ›ã€ pinning ãªã©ã‚’å«ã‚ã¦è©³ã—ã説明ã—ã¾ã™ã€‚ãã—ã¦ã€éžåŒæœŸã‚ーボードタスクã¨åŸºæœ¬çš„ãªexecutorを作æˆã™ã‚‹ã“ã¨ã§ã€ã‚«ãƒ¼ãƒãƒ«ã«async/awa
Embassy
The next-generation framework for embedded applications Write safe, correct and energy-efficient embedded code faster, using the Rust programming language, its async facilities, and the Embassy libraries. Rust + async â¤ï¸ embedded The Rust programming language is blazingly fast and memory-efficient, with no runtime, garbage collector or OS. It catches a wide variety of bugs at compile time, thanks
Rustã§ä½œã‚‹ãƒªã‚¢ãƒ«ã‚¿ã‚¤ãƒ OS
ã¯ã˜ã‚ã« ç°¡å˜ãªã‚¿ã‚¹ã‚¯ç®¡ç†æ©Ÿèƒ½ã¨ã€ã‚¿ã‚¤ãƒžãƒ¬ã‚¸ã‚¹ã‚¿ã«ã‚ˆã‚‹å‰²ã‚Šè¾¼ã¿ç®¡ç†æ©Ÿèƒ½ã‚’æŒã¤ç°¡æ˜“ãªãƒªã‚¢ãƒ«ã‚¿ã‚¤ãƒ OSã‚’Rustã§è‡ªä½œã—ã¾ã—ãŸã€‚ Aruduino Unoボードã«æ載ã•ã‚Œã‚‹ATmega328Pマイコン上ã§å‹•ã‹ã™ã“ã¨ã‚’想定ã—ã¦ã„ã¾ã™ãŒã€https://github.com/Rahix/avr-hal ã§ã‚µãƒãƒ¼ãƒˆã•ã‚Œã¦ã„ã‚‹AVRマイコンã§ã‚ã‚Œã°ã€ã»ã¼åŒæ§˜ã®å®Ÿè£…ãŒã§ããã†ã§ã™ã€‚ 本記事ã§ã¯ç’°å¢ƒæ§‹ç¯‰ã«ã¤ã„ã¦ã¯å‰²æ„›ã—ã€å®Ÿè£…ã®è©³ç´°ã«ã¤ã„ã¦è§£èª¬ã‚’è¡Œã„ãŸã„ã¨æ€ã„ã¾ã™ã€‚ リアルタイムOSã®è¨è¨ˆ 今回作æˆã—ãŸãƒªã‚¢ãƒ«ã‚¿ã‚¤ãƒ OSã¯ã€æŠ€è¡“書店13ã§ã‚µãƒ¼ã‚¯ãƒ«å‡ºå±•ã—ãŸæ›¸ç±ã€cistLT Bookã§ä½œæˆã—ãŸOS(https://github.com/yud0uhu/ChocottoOS)ã‚’ã€Rustã§å†å®Ÿè£…ã—ãŸã‚‚ã®ã«ãªã‚Šã¾ã™ã€‚ 書ç±åŒæ§˜ã€ITRON4.0仕様ã«æº–æ‹ ã™ã‚‹ãŸã‚ã®äº”é …ç›®ã‚’OSã®æ©Ÿèƒ½è¦ä»¶ã¨ã—ã¦å®šã‚ã¾ã—ãŸã€‚ (a) ã‚¿
Googleã€Rustã¨seL4マイクãƒã‚«ãƒ¼ãƒãƒ«ã‚’活用ã—ãŸã‚»ã‚ュリティé‡è¦–ã®OSã¨ã—ã¦ã€ŒKataOSã€ã‚’発表
Phoronixより。 Googleã¯ä»Šé€±ã€ã‚¢ãƒ³ãƒ“エントãªæ©Ÿæ¢°å¦ç¿’ワークãƒãƒ¼ãƒ‰ã‚’実行ã™ã‚‹çµ„ã¿è¾¼ã¿ãƒ‡ãƒã‚¤ã‚¹ã«ç„¦ç‚¹ã‚’当ã¦ãŸæœ€æ–°ã®ã‚ªãƒšãƒ¬ãƒ¼ãƒ†ã‚£ãƒ³ã‚°ãƒ»ã‚·ã‚¹ãƒ†ãƒ ã®å–り組ã¿ã¨ã—ã¦ã€KataOSã®ãƒªãƒªãƒ¼ã‚¹ã‚’発表ã—ã¾ã—ãŸã€‚KataOSã¯ã‚»ã‚ュリティをé‡è¦–ã—ã€Rustプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®ã¿ã‚’使用ã—ã€ãã®åŸºç›¤ã¨ã—ã¦seL4マイクãƒã‚«ãƒ¼ãƒãƒ«ã®ä¸Šã«æ§‹ç¯‰ã•ã‚Œã¦ã„ã¾ã™ã€‚ KataOSã¯ã€å¢—ãˆç¶šã‘るスマート デãƒã‚¤ã‚¹ã§ã®ä½¿ç”¨ã‚’想定ã¨ã—ã¦ãŠã‚Šã€ç‰¹ã«ã€æ©Ÿæ¢°å¦ç¿’アプリケーションを実行ã™ã‚‹çµ„ã¿è¾¼ã¿ãƒãƒ¼ãƒ‰ã‚¦ã‚§ã‚¢ã«é‡ç‚¹ã‚’ç½®ã„ã¦ã„ã¾ã™ã€‚æ¥ç•Œã§ã¯RISC-Vã¸ã®é–¢å¿ƒãŒé«˜ã¾ã£ã¦ã„ã‚‹ã“ã¨ã‚’考ãˆã‚‹ã¨ã€ã“ã®CPUアーã‚テクãƒãƒ£ã¯KataOSã®ä¸»è¦ãªã‚µãƒãƒ¼ãƒˆå¯¾è±¡ã«ãªã£ã¦ã„ã¾ã™ã€‚Googleã®ã‚ªãƒ¼ãƒ—ンソース・ブãƒã‚°ã¯æ¬¡ã®ã‚ˆã†ã«ç™ºè¡¨ã—ã¾ã—ãŸã€‚ 「ã“ã®æ–°ã—ã„オペレーティング・システムã®åŸºç›¤ã¨ã—ã¦ã€ã‚»ã‚ュリティを最å‰ç·šã¨ä¸å¿ƒã«ç½®ã„ã¦ã„るマイクãƒã‚«ãƒ¼ãƒãƒ«
論文紹介： Theseus: an Experiment in Operating System Structure and State Management
ã—ã‹ã—ã€10分間ã®ãƒ—レゼンã§3本ã®è«–文を紹介ã™ã‚‹ã¨ã‹ã„ã†ã€ã‹ãªã‚Šç„¡èŒ¶è‹¦èŒ¶ãªç™ºè¡¨ã ã£ãŸã®ã§èª¬æ˜Žã—ã¦ã„る箇所もã‹ãªã‚Šé™å®šçš„ã§ã€è§£èª¬å…¨ä½“ã¨ã—ã¦éžå¸¸ã«é›‘ãªã‚‚ã®ã«ãªã£ã¦ã—ã¾ã„ã¾ã—ãŸã€‚ ãã“ã§ã“ã®è¨˜äº‹ã§ã€ã“ã®LTã§è§¦ã‚ŒãŸè«–æ–‡ã®1ã¤ã§ã‚ã‚‹Theseusã¨ã„ã†OSã«ã¤ã„ã¦èª¬æ˜Žã—ãŸã‚‚ã®ã‚’ã‚‚ã†å°‘ã—詳ã—ãã¿ã¦ã„ããŸã„ã¨æ€ã„ã¾ã™ã€‚ è«–æ–‡æ¦‚è¦ ã‚¿ã‚¤ãƒˆãƒ«ï¼š Theseus: an Experiment in Operating System Structure and State Management 著者： Kevin Boos, Namitha Liyanage, Ramla Ijaz, Lin Zhong 会è°ï¼š 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI ‘20) USENIX系会è°ã§OS関連ã®ãƒˆãƒƒãƒ—カン
Rust言語ã§ãƒ•ã‚¡ãƒ¼ãƒ ウェアã€OSã€è¨€èªžå‡¦ç†ç³»ã‚’実装ã—ã¦ã€CSS 2020ã§ç™ºè¡¨ã—㟠- 未完æˆãªè«–を綴るブãƒã‚°
先月ã€å›½å†…最大ã®ã‚»ã‚ãƒ¥ãƒªãƒ†ã‚£ç ”ç©¶ä¼šã§ã‚るコンピュータセã‚ュリティシンãƒã‚¸ã‚¦ãƒ 2020（CSS 2020）ãŒé–‹å‚¬ã•ã‚Œã€ãã“ã§ã€Rust言語を用ã„ã¦ãƒ•ã‚¡ãƒ¼ãƒ ウェアã€OSã€è¨€èªžå‡¦ç†ç³»ã‚’è¨è¨ˆãƒ»å®Ÿè£…ã—ãŸè©±ã‚’発表ã—ã¾ã—ãŸã€‚本æ¥ã€CSS 2020ã¯ãƒªã‚¢ãƒ«ã§é–‹å‚¬ã•ã‚Œã‚‹ã¯ãšã§ã—ãŸãŒã€ã‚³ãƒãƒŠç¦ã®å½±éŸ¿ã§ã‚ªãƒ³ãƒ©ã‚¤ãƒ³é–‹å‚¬ã¨ãªã‚Šç™ºè¡¨å‹•ç”»ä½œæˆãŒæ±‚ã‚られã¾ã—ãŸã€‚ã›ã£ã‹ã作ã£ãŸå‹•ç”»ã‚’ã“ã®ã¾ã¾æ¨ã¦ç½®ãã®ã‚‚ã‚‚ã£ãŸã„ãªã„ã¨æ€ã„ã€ã“ã“ã§ä¾›é¤Šã—ãŸã„ã¨æ€ã„ã¾ã™ã€‚ www.youtube.com æ¦‚è¦ å†…å®¹ã¯ã€Rust言語を用ã„ã¦ã€AArch64ã®ã‚»ã‚ュアワールド内ã§å‹•ä½œã™ã‚‹ãƒ•ã‚¡ãƒ¼ãƒ ウェアã€OSã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžå‡¦ç†ç³»ã‚’実装ã—ãŸè©±ã¨ãªã‚Šã¾ã™ã€‚ã¨è¨€ã£ã¦ã‚‚ã€ã¾ã ã¾ã 基本的ãªéƒ¨åˆ†ã—ã‹å®Ÿè£…ã—ã¦ãŠã‚‰ãšã€å®Ÿç¾ç›®æ¨™ã«å¯¾ã—ã¦2〜3割ã¨è¨€ã£ãŸã¨ã“ã‚ã§ã™ãŒã€ã©ã†ãžã”笑覧ãã ã•ã„。 ブート部分ã¯å¤šå°‘アセンブリ言語を使ã£ã¦ã„ã¾ã™ãŒã€ãã®ä»–ã®éƒ¨åˆ†ã¯Rustã§
Rustã§çµ„è¾¼ã¿ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚„自作OS作æˆã‚’ã™ã‚‹ã«ã¯
ã“ã‚Œã¯ä»¥å‰ã‹ã‚‰ã¤ãã£ã¦ã„ãŸErkOSã¨ã„ã†è‡ªä½œOSã§ã®çµŒé¨“ã‚’å…ƒã«ã—ã¦ã€ã©ã†ã‚„ã£ãŸã‚‰Rustã§è‡ªä½œçµ„è¾¼ã¿OSã®æœ€åˆã®ä¸€æ©ã‚’è¸ã¿å‡ºã›ã‚‹ã‹ã€ã¨ã„ã†ã‚‚ã®ã‚’ドã‚ュメントã«ã—ãŸã‚‚ã®ã§ã™ã€‚ ã“ã®ãƒ‰ã‚ュメントã¯ã“ã®å‰ã®æŠ€è¡“書展ã®å‘ŠçŸ¥ãŒæ¥ãŸã‚ãŸã‚Šã‹ã‚‰æ§‹æƒ³ã‚’ç·´ã£ã¦ã„ã¦ã€ã™ãã¾æ™‚é–“ã«ã¡ã¾ã¡ã¾ã¨æ›¸ã進ã‚ã¦ã„ãŸã‚‚ã®ã§ã™ãŒã€ã¨ã‚Šã‚ãˆãšã€ãƒ—ãƒã‚»ã‚¹ã®åˆ‡ã‚Šæ›¿ãˆã£ã½ã„ã¨ã“ã‚ã¾ã§ã®èª¬æ˜Žã‚’終ãˆã‚‹ã“ã¨ãŒã§ããŸã®ã§å…¬é–‹ã—ã¾ã—ãŸã€‚ 組込ã¿ã§Rustをやる話や自作OSを書ã話ã¨ã„ã†ã®ã¯å…ˆé§†è€…ãŒãŸãã•ã‚“ã„ã¦ã€åƒ•è‡ªèº«ã‚‚ãれらã®è³‡æ–™ã‚’å‚考ã«ã—ã¤ã¤æ›¸ã進ã‚ã¦æ¥ã¾ã—ãŸã€‚ 一応ã€ãれらã®æ—¢å˜ã®ã‚‚ã®ã¨ã¯å·®åˆ¥åŒ–ã¯ã—ã¦ã„ã‚‹ã¤ã‚‚ã‚Šã§ã¯ã‚ã‚‹ã‚‚ã®ã®ã€æ—¢å˜ã®ã‚‚ã®ã‚’完全ã«ä¸Šå›žã‚‹ã¨ã„ã†ã‚‚ã®ã§ã¯ãªã„ã§ã™ã€‚内容もã¾ã ã¾ã 足りãªã„。 以å‰ã€Rustã§OSを書ãプãƒã‚¸ã‚§ã‚¯ãƒˆã‚‚ã‚ã‚‚ã‚ã§ã„ãã¤ã‹OSを書ãéš›ã«å‚考ã«ãªã‚Šãã†ãªãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã‚’ã¾ã¨ã‚ã¾ã—ãŸãŒã€æƒ…å ±ã‚‚å¤ããªã£ã¦ããŸã®ã§
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - hikalium/wasabi: Toy web browser + OS in Rust = wasabi
CharlotteOS
GitHub - moturus/motor-os: A simple, fast, and secure operating system for the cloud.
GitHub - maestro-os/maestro: Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases
GitHub - oxidecomputer/hubris: A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
GitHub - Ruddle/Fomos: Experimental OS, built with rust
GitHub - nuta/kerla: A new operating system kernel with Linux binary compatibility written in Rust.
GitHub - lobaro/FreeRTOS-rust: Rust crate for FreeRTOS
GitHub - theseus-os/Theseus: Theseus is a modern OS written from scratch in Rust that explores ð¢ð§ðð«ðšð¥ð¢ð§ð ð®ðšð¥ ððžð¬ð¢ð ð§: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine ty
GitHub - mars-research/redleaf: RedLeaf Operating System
https://www.usenix.org/system/files/osdi20-narayanan_vikram.pdf
GitHub - betrusted-io/xous-core: The Xous microkernel
{{#tags}}- {{label}}
{{/tags}}