aarch64向け自作OS*1のマルチプロセッサ対応をするとき，セカンダリのCPUが一生タイマ割り込みを起こしてくれなくてウンウン唸りながらGICv2のドキュメントを眺めていたところ... If the GIC is implemented as part of a multiprocessor system: Some regis…

1ヶ月前くらいからちまちまRaspberry Pi 4B向けのOSを作ってます(OSと呼べる代物ではまだないですが)． それを作るにあたって参考にしたリンクをメモとして残しておきます．随時更新します． リンク集 Writing a “bare metal” operating system for Raspberr…

mkei.hatenablog.comがほしかったので．