Tim Retout: seL4 clock magic

I have been looking at seL4 some more recently, and had a small patch merged today to remove a legacy Python module from a helper script. (I was trying to run the script on a system without that module installed, and it was almost easier to patch it out.) However, the more I think about this code and how it’s used, the more it seems wrong on at least five other levels. The patch itself is quite uninteresting; this script…

Quelle: Originalartikel öffnen