seL4 / util_libs

Other
55 stars 83 forks source link

pc99,libplatsupport: rename ega --> vga to keep device names consistent #186

Open ericspidledw opened 3 months ago

ericspidledw commented 3 months ago

The previous implementation referred to everything as EGA. For consistency and clarity I propose this is changed to VGA to indicate that a user can use this for more then just EGA. (VGA indicates that EGA is supported but not the other way around) This would also match the earlyprint driver (PR).