I’ll have a go at writing a package for sel4 as a delicious bowl of dog food.
Are you interested in the result? If so, just reply with some handle where I can reach you.
I'd love to see it. Though if the package is just "we run sel4's cmake script and save the result" then its much less interesting. If you can make a package which doesn't use cmake at all, email me. My email is in my bio.
I'd love to see it. Though if the package is just "we run sel4's cmake script and save the result" then its much less interesting. If you can make a package which doesn't use cmake at all, email me. My email is in my bio.