We currently use an automated process to keep our dev sdk about two weeks behind the repo. The recent switch to using a different seL4 kernel was something we hadn't accounted for and so we are now grepping Developer.md to check, which is a bit fragile. I'm wondering if you could adopt some method to more closely bind the info into the repo?
We currently use an automated process to keep our dev sdk about two weeks behind the repo. The recent switch to using a different seL4 kernel was something we hadn't accounted for and so we are now grepping Developer.md to check, which is a bit fragile. I'm wondering if you could adopt some method to more closely bind the info into the repo?