]> rtime.felk.cvut.cz Git - l4.git/tree - l4/pkg/gnu-efi/
fiasco: drivers-frst: Get this code back to default state. Port interference problem...
[l4.git] / l4 / pkg / gnu-efi /
drwxr-xr-x   ..
-rw-r--r-- 88 Control
-rw-r--r-- 68 Makefile
drwxr-xr-x - examples
drwxr-xr-x - include
drwxr-xr-x - lib