Advise to install newer version of EFI firmware
[helenos.git] / kernel / 
tree3ca02a6051706526aa2fa5d50b750a020a6dd094
drwxr-xr-x   ..
drwxr-xr-x - arch
drwxr-xr-x - doc
drwxr-xr-x - genarch
drwxr-xr-x - generic
-rw-r--r-- 6415 meson.build
drwxr-xr-x - test
drwxr-xr-x - tools