Redox is for CPUs that cost >$100.

Xous is for CPUs that cost <$1.