This is something still very much to be discussed, but I think the current sentiment is to merge PIE and MAMBO together into a single repo. This has a number of benefits:
Simplifies process of merging new instructions into MAMBO
Reduces a possibility of MAMBO and PIE getting out of sync
Simplifies repo management and access rights
I don't see any potential downside of such move, but I'm very much opened for comments.
Once that's done we need to port following PRs into this repo:
This is something still very much to be discussed, but I think the current sentiment is to merge PIE and MAMBO together into a single repo. This has a number of benefits:
I don't see any potential downside of such move, but I'm very much opened for comments.
Once that's done we need to port following PRs into this repo: