F:    Documentation/fb/sm712fb.rst
  F:    drivers/video/fbdev/sm712*
  
- SIMPLE FIRMWARE INTERFACE (SFI)
- S:    Obsolete
- W:    http://simplefirmware.org/
- F:    arch/x86/platform/sfi/
- F:    drivers/sfi/
- F:    include/linux/sfi*.h
- 
 +SILVACO I3C DUAL-ROLE MASTER
 +M:    Miquel Raynal <miquel.raynal@bootlin.com>
 +M:    Conor Culhane <conor.culhane@silvaco.com>
 +L:    linux-i3c@lists.infradead.org
 +S:    Maintained
 +F:    Documentation/devicetree/bindings/i3c/silvaco,i3c-master.yaml
 +F:    drivers/i3c/master/svc-i3c-master.c
 +
  SIMPLEFB FB DRIVER
  M:    Hans de Goede <hdegoede@redhat.com>
  L:    linux-fbdev@vger.kernel.org
 
  
  config HPET_EMULATE_RTC
        def_bool y
 -      depends on HPET_TIMER && (RTC=y || RTC=m || RTC_DRV_CMOS=m || RTC_DRV_CMOS=y)
 +      depends on HPET_TIMER && (RTC_DRV_CMOS=m || RTC_DRV_CMOS=y)
  
- config APB_TIMER
-       def_bool y if X86_INTEL_MID
-       prompt "Intel MID APB Timer Support" if X86_INTEL_MID
-       select DW_APB_TIMER
-       depends on X86_INTEL_MID && SFI
-       help
-        APB timer is the replacement for 8254, HPET on X86 MID platforms.
-        The APBT provides a stable time base on SMP
-        systems, unlike the TSC, but it is more expensive to access,
-        as it is off-chip. APB timers are always running regardless of CPU
-        C states, they are used as per CPU clockevent device when possible.
- 
  # Mark as expert because too many people got it wrong.
  # The code disables itself when not needed.
  config DMI