I want to run s32k144 in VLPS mode, thus I tried to replicate power_mode_switch_s32k144 driver example in my new application project. But I'm unable to add power manager driver files using the device configuration tool, as no option is shown for power in drivers tab of peripherals section (as shown below)

Someone, please tell me how to add drivers for power manager using the ConfigTools.
Regards
Rohit