|
Enable the kernel to provide or not the Vivante kernel driver and
dynamically set the proper providers per machine.
The following options are supported:
MACHINE_HAS_VIVANTE_KERNEL_DRIVER_SUPPORT
Machine does or does not have support for the Vivante kernel
driver, options are:
0 - machine does not have Vivante GPU driver support
1 - machine has Vivante GPU driver support
MACHINE_USES_VIVANTE_KERNEL_DRIVER_MODULE
Machine uses the Vivante kernel driver as module, options are:
0 - enable the builtin kernel driver module
1 - enable the external kernel module
Signed-off-by: Otavio Salvador <otavio@ossystems.com.br>
|