Page MenuHomeFreeBSD

Fix reboot command on the Raspberry Pi series.
ClosedPublic

Authored by crowston_protonmail.com on Jun 14 2020, 3:46 PM.

Details

Summary

The Raspbery Pi computers do not properly implement PSCI. The canonical
way to reset them is to set a watchdog timer and allow it to expire.

Diff Detail

Repository
rS FreeBSD src repository
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

bcr added a subscriber: bcr.

Adding manu for his embedded expertise (more than mine anyway). :)

This revision is now accepted and ready to land.Jun 15 2020, 5:36 PM

Is there a process to follow to get this change from "accepted" to committed?

@manu: Can you take care of this? Thanks!

Is there a process to follow to get this change from "accepted" to committed?

I'll commit it on Monday. I was giving other people a chance to review.

This revision was automatically updated to reflect the committed changes.