はてなブックマーク

お久しぶりです。sksat です。 タイトルの通り、セキュリティ・キャンプ2024全国大会で、「探査機自作ゼミ」というゼミを開講させてもらいました。 まあ色々やったので、つらつらと書いていきます。 （この記事を書くのがめっちゃ遅くなってしまったのはすみません......） （流石に年を跨ぐのはヤバいなと思って今になっての投稿です） （と思っていたら JST では年跨いでしまいました。あけましておめでとうございます。でもまだ2024年な国もあるので許してください。） 「探査機自作ゼミ」とは 「探査機自作ゼミ」、どう考えても怪しい文字列ですね。 探査機ってなんやねん。それを自作とは。 まあまずは講義概要を見てみてくださいよ。え？長い？ www.ipa.go.jp 一緒に探査機を作ってみませんか？ このゼミでは惑星探査機の開発を題材として，複雑なシステム開発への向き合い方を，実際に手を動かしなが

タイトルの通りなのだけれど，ArkEdge Space で正社員になって半年が経っていた． 何をやっているかといえば，そこかしこで何度も言っているが，人工衛星を作っている． sksat.hatenablog.com 正社員になるなんてことは人生で始めてのことだけれど，正直なところその「変化」の瞬間には思い入れがあるわけではない． というかあんまり覚えていない．その前日と同じように仕事をしたんだと思う． たぶん一番大変だったのはバックオフィスの人だろう． まるで正社員かのように働くインターン生も，（大学生をやりながらであることによって）インターン生かのように働くこともある正社員も，どちらもとても面倒だと思う．いつも本当にありがとうございます． だったらなんでこんな記事を書いているかといったら，まあ久しぶりに文章を書きたい気持ちになってきているからだろう． 一歩引いて考える余裕ができてきたとい

こんちわ〜．珍しく1ヶ月という短期間でブログ記事を書くsksatです． 今回はここ数ヶ月運用しているマインクラフトサーバについて書きます． Minecraft みなさんマイクラやってますか？僕はそんなにやってないです．運用するのはまあまあおもしろい． とはいえそんなにやってないわけでもなくて，5月頃はけっこうやっていて，空中から海をブチ抜いて地中まで刺さっている畑などがあります． まあかなりのcontribution(?)は他のオタク各位ですけどね． ちなみに幣マイクラサーバですが， ・空中から巨大な段々畑を生やす ・畑が海水面に衝突したので水抜きして畑が海に突入 ・畑の建設中に巨大な昆布栽培場所に水が垂れ海水面上昇 ・畑のための土が足りない ・土より昆布ブロックの方が安い ・拠点周辺の土を剥いで昆布ブロックに置き換える という状態— sksat (@sksat_tty) 2021年5月2

RustでUEFIアプリケーションを書く 2020 Edition みなさんこんにちは．sksatです． 最近はVRで生活したり，オタクでク ソ ド メ イ ンを取ってゲラゲラしたりしています． ちなみに映画化しました*1．よろしくお願いします． youtu.be さて，これは自作OS Advent Calendar 2020の21日目の記事なわけですが， Advent Calendarに登録していたことを完全に忘れていて，Twitterで教えてもらいました．オイオイ． 今日中に公開したら許してほしい*2．今は13:50(JST)です． 自作OS Advent Calendar 2020 - Adventarhttps://t.co/CXcvMUbUN3— 市川 真一 (@tenpoku1000) December 21, 2020 adventar.org ということでなんも準備してない

Twitter見てたらこんな記事が流れてきました． gigazine.net エッマジかよ． しかもRustなのかよ．すごいな． security.googleblog.com "fully open-source security key implementation" っょぃなあ...と思って読んでみたらなんとこれTock OSのアプリケーションとして実装されてるんですね． 俄然気になってきた． Tockは前にも少し紹介したRust製の組込みOSです． sksat.hatenablog.com ということでOpenSKのrepoはここ． github.com READMEによると，nRF52840-DKとnRF52840-dongleに対応しているようです． なるほど〜たしかにdongleなら殻付ければセキュリティキーになるよなあ． USBメモリっぽい形のマイコンってBad USB以外

これは 自作OS Advent Calendar 2019 の9日目の記事です． はじめに 最近大人気ですよね，Rust． 全人類Rust書いとる...俺は... システムプログラミング言語ですし，LLVMを使っているので色々なアーキテクチャ向けにコンパイルできますし， 安全性を重視しているので，RustでOSが書けるようになると色々と面白そうです． とはいえ，なんだかんだでちゃんと使ってみようという気になれず，まだあまり書いたことがありません． そこで，今回はRustで書かれたOSであるTockを使って，モダンな言語でのOSの作り方やRustそのものについて調べてみようと思います． Tockとは TockはRustで書かれたCortex-MやRISC-Vで動く組み込みOSです． https://github.com/tock/tock 最近はSTM32でも動くらしいですね． https:

これは自作OS Advent Calendar 2017 の10日目の記事です．遅刻です． . @sksat_tty さんの担当の記事がいつ上がるかドキドキしながら待ってます— ファッション自作OSマン (@uchan_nos) 2017年12月11日 アアアアアすみません！！！！！ では謝罪も終わったところで(こいつ反省してんのか？)，Nimで自作OSしたいねーっていう話をしていきたいと思います． そもそもNimってなによ？ プログラミング言語のひとつで，最近僕が気に入ってるやつです． Nim - Wikipedia 構文とかはかなりPythonっぽくて，インデントでブロックができます． フィボナッチ数列とかはこんなかんじ proc fib(n: int): int = if n < 2: return n else: return fib(n-1) + fib(n-2) echo(fi

これは自作OS Advent Calendar 2016の22日目の記事です。 『３０日でできる! OS自作入門』という（このアドベントカレンダーの5,6,9,15日目の記事のKさん著）本があります。 この本はhikaliumさんも書かれていましたが、まさに「OS自作における聖書」といえるような本で、例によって今回やったこともこの本が発端となっています。 実際何をやったのかというと、タイトルの通り「自作OSを自作エミュレータで動かしてみたい」と思ったので色々やってみた、ということです。 エミュレータと自作OS 突然ですが、「ソフトウェアを開発する」ということに着目した時、一般的なアプリケーションの開発とOSの開発の一番の違いはなんでしょうか？ 僕は、「デバッグに仮想環境を使うか使わないか」ではないかと思います。一般的なアプリケーション開発ではデバッグしようと思ったらとりあえず実行してみれば