How does ipmi on servers provide video? I thought u just plug a specific Ethernet jack into a different lan? I'm asking this because the pikvm takes HDMI input

How does ipmi on servers provide video? I thought u just plug a specific Ethernet jack into a different lan? I'm asking this because the pikvm takes HDMI input so I'm wondering how does ipmi manage the video