When I ran the command
poweroff in ubuntu 19.10, I noticed that both the Ethernet port and USB ports remain powered even when the rbp4 seemed to have halted. Others using rasbian seem to have had similar experiences.
Which peripherals remain powered when the rbp4B is powered off? and where can I learn more about RBP4 power states? Are they documented somewhere?
Edit 1: I just skimmed over the Technical Reference Manual for ARM® Cortex®-A72 MPCore-based microprocessors (supposedly what the bcm2711 is based on). The manual discusses power modes but I couldn't find information on how peripherals like sdcard reader, usb, and ethernet are handled.
Does the BCM2711 have a manual for RBP4 users can access?
Update: Through testing, I can confirm that everything (including the microSD card reader's VDD pin) remain fully powered. It also seems that the fact of the system halting is not conveyed to peripherals in any way.