Hi Joseph Alejandro,
You do not miss some HDMI drivers. No message appears in terminal is normal because HDMI Hot plug is not support.
Hope this can help you.
Have a great day
Dan
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------