In the default device tree configuration for the Nvidia Jetson Orin AGX, the hsp_top mailbox is used to communicate the kernel with the BPMP. I want to know if another hsp_top could be configured to communicate with the BPMP. This is needed because we want to get access to the BPMP from a virtual machine that will manage the UARTA via vfio-platform passthrough.
Thanks