OT: I wonder how the board status script `util/board_status/board_status.sh` could detect, what prefix was used for booting. Can that be determined from the shell?

View Change

To view, visit change 42028. To unsubscribe, or for help writing mail filters, visit settings.