i don't know but what happen if they choose netbsd?