# Pastebin TdACU4dh
❯ dmesg | grep -i firmware
[    0.000000] psci: PSCIv1.1 detected in firmware.