What I'm unsure about is the mag and maglef folders in the PDK which may have been generated from something, possibly the GDS?