ARM version is downloadable at site. I just bought an Orange PI for $10.
Also, the basic design of CD-OS is essentially inspired entirely from Tanenbaum's ideas in his original MINIX book. I was using them before they were called "Microservices" as a paradigm. A long time before because I had read this guy's book. My messages have always been asynchronous but I have variable length for convenience. (Formerly in JSON, now converted to STOMP .ini style format in middle of 2016) This is the reason my web server has been deployed to industrial sites and simply run forever without a single hitch for months and even years. My own clients have told me my embedded stuff will put me in the poorhouse because it never needs maintenance or repairs. I talked to somebody from a mining company just the week prior and he told me my networked weather station running on a solar panel in a toolshed was nearly demolished because nobody has had to go in there since 2011. They thought I was crazy when I replaced their Lithium battery with a slow discharge capacitor. Now marching for five years without a single stumble.