Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  1) # SPDX-License-Identifier: GPL-2.0-only
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  2) #
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  3) # Makefile for the drm device driver.  This driver provides support for the
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4) # Direct Rendering Infrastructure (DRI) in XFree86 4.1.0 and higher.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6) mga-y := mga_drv.o mga_dma.o mga_state.o mga_warp.o mga_irq.o
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8) mga-$(CONFIG_COMPAT) += mga_ioc32.o
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) obj-$(CONFIG_DRM_MGA)	+= mga.o
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11)