Name Date Size

.. 2016-02-10 13:41:57 81

bootctl.c 2016-02-10 13:41:57 35.2 KiB

efi 2016-02-10 13:41:57 19

Makefile 2018-03-15 07:06:54 958