Das würde sicherlich gehen. Aber wenn der User jetzt z.b. 2 mal den Kext in der EFI hat (sagen wir in Other und 10.15) ... welchen soll man da nehmen zur Prüfung? Von daher ist es eigtl. schon ok so, dass er nur die prüft die auch tats. geladen sind. Diese Angaben sind unbestechlich. Bei allem Anderen gibt es zuviele Eventualitäten.
Man muss nicht zwingend den Schlüsselbund auf grün haben wenn man unter Werkzeuge mounten will. Die Liste kommt immer. Nur wenn man mounted und hat den Schlüsselbund rot hat muss man halt das Adminpasswort eingeben.