diff options
Diffstat (limited to 'src/drivers/gic/Kconfig')
| -rw-r--r-- | src/drivers/gic/Kconfig | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/drivers/gic/Kconfig b/src/drivers/gic/Kconfig deleted file mode 100644 index 193311fc05..0000000000 --- a/src/drivers/gic/Kconfig +++ /dev/null @@ -1,4 +0,0 @@ -config GIC - def_bool n - help - This option enables GIC support, the ARM generic interrupt controller. |