a few tries on a hobby OS for the i386 / amd64 / arm platform