https://www.sec.gov/reports/rule-144-selling-restricted-cont...

> Holding Period. Before you may sell any restricted securities in the marketplace, you must hold them for a certain period of time. If the company that issued the securities is a “reporting company” in that it is subject to the reporting requirements of the Securities Exchange Act of 1934, then you must hold the securities for at least six months

Are the securities restricted though? I don’t think these would be?

Almost guaranteed to be. The only other way would be to have issued them during the transaction with the Sec. There was no mention of that. 60billion of issued shares would have been mentioned. It's non trivial amount.

What’s the lockup period in this case?

Um, I honestly don't know for sure, if I'm not mistaken SpaceX has some weird staggered release schedule for employees and early investors, I guess based on their stock dates.