micopythonにファイルを書き込むには「専用のツールが必要」と聞いて完全に思考停止してたけど、単純にREPLからopen()とwrite()で書いてるだけだった…!
https://github.com/micropython/micropython/blob/master/tools/pyboard.py#L576-L582
embedded-halをもっとシンプルにしたいという話は出てるけど、2年以上動きなし
Building a high level library for embedded-hal compatible drivers · Issue #62 · rust-embedded/wg
https://github.com/rust-embedded/wg/issues/62
ここでは技術系