32Blit Gerber files?

Will the 32Blit Gerber files be available at some point? My son is studying electrical computer engineering and wants to build one.