michaelg/dev: links for 00smalinux