diff options
Diffstat (limited to 'sys/ia64')
| -rw-r--r-- | sys/ia64/conf/NOTES | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sys/ia64/conf/NOTES b/sys/ia64/conf/NOTES index 8a4b8e1..9f861d1 100644 --- a/sys/ia64/conf/NOTES +++ b/sys/ia64/conf/NOTES @@ -49,3 +49,6 @@ device pci # The following devices are not supported. nodevice fdc nooption FDC_DEBUG + +# Yet more undocumented options for linting. +options VGA_DEBUG |
