linux/drivers/tty/hvc/+code=xenboot_setup_console
<<
>>
Prefs
Node not found: drivers/tty/hvc/+code=xenboot_setup_console (xilinx-v2016.4)