axionOS (hobby operating system, looking for developers)