search

au-ts / libvmm

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

Virtio console fix #129

Closed dreamliner787-9 closed 1 month ago

dreamliner787-9 commented 1 month ago

In the latest sDDF, member size of struct serial_queue_handle_t has been renamed to capacity. This change has not been propagated to virtio/console.c which leads to a compile error if the latest sDDF is used.

dreamliner787-9 commented 1 month ago

Whoops seems like the latest sDDF changed more things

dreamliner787-9 commented 1 month ago

I think #128 will need to be merged first before this.

Ivan-Velickovic commented 1 month ago

Superseded by https://github.com/au-ts/libvmm/pull/131.