seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

trivial: fix compiler warning #41

Closed lsf37 closed 2 years ago

lsf37 commented 2 years ago

warning: mixture of designated and non-designated initializers in the same initializer list is a C99 extension [-Wc99-designator]

    vka_object_t result = {.cptr = 0, .ut = 0, .type = 0, size_bits = 0};

This is a just typo that is harmless, but it's nicer to be consistent.