search

au-ts / libvmm

An experimental virtual machine monitor for the seL4 microkernel
Other
29 stars 15 forks source link

Update serial config to new syntax #91

Closed alexandermbrown closed 4 months ago

alexandermbrown commented 4 months ago

The latest version of sDDF changes how serial_virt_queue_init_sys is defined in serial_config.h. This change allows the latest version of sDDF serial to be used.

Ivan-Velickovic commented 4 months ago

See my comment in https://github.com/au-ts/libvmm/pull/92#issuecomment-2241822553.