A startup wants to be the Android for satellites running their own AI — type0 | type0