uefi

As it can be seen from https://app.codecov.io/gh/vvaltchev/tilck/blobs/master/kernel/misc.c, print_banner_line() and show_tilck_logo() don't have coverage, despite being always run on boot. That's simply because in coverage builds, the env variable TILCK_NO_LOGO is set. See https://github.com/vvaltchev/tilck/blob/master/other/coverage_build.yml.

Because those trivial code lines that don'

In rust-osdev/uefi-rs#309, the Handle type was changed from containing just a raw pointer to NonNull<c_void>, which has the nice advantage that you can then use Option<Handle> when you want a nullable Handle, and this is FFI-safe.

As was mentioned in rust-osdev/uefi-rs#309 (comment), it would make sense to do this for the `Eve

Issues should demand people attach the following outputs:

• sudo sbctl status
• sudo hexdump -C /sys/firmware/efi/efivars/PK-8be4df61-93ca-11d2-aa0d-00e098032b8c

And we should preferably implement sudo sbctl debug as a hidden command so we can have some better structured data we can use for debugging.

Running inside Oracle VM VirtualBox
Version: Latest prebuilt