Analyzing sel4.systems...