The FCC has formally allocated additional spectrum for launch applications, fulfilling a provision in a bill passed earlier this year.