[23:43] jbailey, are you interested in a mipsn32el port?