Okay, I was intrigued about an ArduinOS and so I clicked through to the article, then I thought it was interesting how close this guy's name was to "Arduino" until I realized it has nothing to do with Arduino but it named after him instead.
Now we just need Joe Pentium submitting patches to Linux Torvalds
Now we just need Joe Pentium submitting patches to Linux Torvalds