ACT_LED on Pi3

It seems relatively trivial to assign the disc access ACT_LED on a Pi 3 (the commands are different for earlier models) to a GPIO pin under Raspbian, but following the same rules with the firmware in RISC OS doesn’t seem to work. I believe it uses Device Tree Overlays, which I’m sure I read somewhere aren’t available to RISC OS.

Is there a way to move the ACT_LED to a GPIO pin under RISC OS?

Not at the moment, no. The HAL is hardcoded to use the relevant default pin for each board type/revision.

It appears as if the power LED is connected to a GPIO on a Pi2/Pi3. Do you happen to know where/how? I think it might be a useful indication of system state to blink it on a ticker, but all I can find online is stuff in, say, Python, since it has been implemented as a device in Linux.

It appears as if the power LED is connected to a GPIO on a Pi2/Pi3. Do you happen to know where/how?

For Pi 3 I think it might be on the same “virtual GPIO” system as the SD activity LED, but I’ve never looked into it in any detail.