diff options
| -rw-r--r-- | blacklist/i486/efivar/refind-efi | 1 | ||||
| -rw-r--r-- | blacklist/i486/ghc/agda-stdlib | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/blacklist/i486/efivar/refind-efi b/blacklist/i486/efivar/refind-efi new file mode 100644 index 00000000..eb7288aa --- /dev/null +++ b/blacklist/i486/efivar/refind-efi @@ -0,0 +1 @@ +doesn't make a lot of sense for BIOS non-EFI systems diff --git a/blacklist/i486/ghc/agda-stdlib b/blacklist/i486/ghc/agda-stdlib new file mode 100644 index 00000000..640ce0cc --- /dev/null +++ b/blacklist/i486/ghc/agda-stdlib @@ -0,0 +1 @@ +ghc needs to be bootstrapped first - fun, fun, fun! |