How about just fork Linux, and then they can keep it ABI compatible all they like?