chiark / gitweb /
Add raft airgap setting. Add new machine menu option to machine menu.