System profiler does not list all loaded kext's.
I tried to find if there was a trigger entry in the info.plist and did not find one.
Does any know what is needed to force the listing of a kext in System Profiler?
PS I know the existence of the terminal command kextstat.
If you want to know why I want to know , my answer is... Because!