Raspberry Pi port, piCore-15.0 is available!
I believe that TC's focus is only on x86 at this time.
How about if it's a 64-bit Intel machine (that has multiple processors)?