IDOS - a hobby disk operating system written in Ada.