We don't want drivers with numbers in their names.
authorkettenis <kettenis@openbsd.org>
Fri, 5 Aug 2016 20:38:17 +0000 (20:38 +0000)
committerkettenis <kettenis@openbsd.org>
Fri, 5 Aug 2016 20:38:17 +0000 (20:38 +0000)
commit2b7dae4aff7e4510fa1933a6ae10738f040d62fd
tree17c9c589f3de2bf93890bdc83b61784274f3293b
parent20c5560d788f86fc94a50ea9bedb73f799cab908
We don't want drivers with numbers in their names.

Requested by deraadt@
sys/arch/armv7/conf/GENERIC
sys/arch/armv7/conf/RAMDISK
sys/arch/armv7/sunxi/a1xintc.c [deleted file]
sys/arch/armv7/sunxi/a1xintc.h [deleted file]
sys/arch/armv7/sunxi/files.sunxi
sys/arch/armv7/sunxi/sxiintc.c [new file with mode: 0644]
sys/arch/armv7/sunxi/sxiintc.h [new file with mode: 0644]