I'm working on a project that needs to make slight modifications to https://github.com/PaulStoffregen/cores. Those changes are fairly specific to that project, and I don't think it makes sense to try to upstream any of them. I'm using platformio for the project, so I pull in the dependency via the framework-arduinoteensy package declared in platform-teensy's platform.json.

I'd like to make a custom framework-arduinoteensy package and include that using platformio's platform_packages configuration option. However, it's not clear to me how to create that package, as https://github.com/PaulStoffregen/cores only includes the contents of the cores within the framework-arduinoteensy packages. It doesn't include the libraries directory, package.json, platform.txt, boards.txt, and so on.

Is there a separate repository available that includes libraries and other meta data? package.json in the release tarballs unfortunately only refers to the cores repository.