PSCI(4)

📦 in nixpkgs unstable

🎀 NAME 🎀

okay so this is the PSCI(4) page in the Kernel Interfaces Manual, and the star of the show is psci — Power State Coordination Interface. that's the whole name, no cap 💅

✨ SYNOPSIS ✨

psci* at fdt?

🦋 DESCRIPTION 🦋

bestie, the psci driver handles system reset and power down for systems that conform to the ARM Power State Coordination Interface specification. literally those two jobs, and it's serving them exactly as the spec says 🔥

🌈 SEE ALSO 🌈

  • Power State Coordination Interface (PSCI) specification, ARM DEN 0022C.
💌 cute lil sign-off: this page is from Debian, dated March 31, 2018. mwah, byeee 🫶
📦 where this page comes from
  • nixpkgs unstable: cvs-export
  • Copyright (c) 2016 Jonathan Gray <jsg@openbsd.org>
  • 💖 girlified by deepseek-ai/DeepSeek-V4.1-Flash-1017 on : a language model's rewrite of the original, under its terms