1Building the Mali Device Driver for Linux 2----------------------------------------- 3 4Build the Mali Device Driver for Linux by running the following make command: 5 6KDIR=<kdir_path> USING_UMP=<ump_option> BUILD=<build_option> make 7 8where 9 kdir_path: Path to your Linux Kernel directory 10 ump_option: 1 = Enable UMP support(*) 11 0 = disable UMP support 12 build_option: debug = debug build of driver 13 release = release build of driver 14 15(*) For newer Linux Kernels, the Module.symvers file for the UMP device driver 16 must be available. The UMP_SYMVERS_FILE variable in the Makefile should 17 point to this file. This file is generated when the UMP driver is built. 18 19The result will be a mali.ko file, which can be loaded into the Linux kernel 20by using the insmod command. 21 22Use of UMP is not recommended. The dma-buf API in the Linux kernel has 23replaced UMP. The Mali Device Driver will be built with dma-buf support if the 24kernel config includes enabled dma-buf. 25 26The kernel needs to be provided with a platform_device struct for the Mali GPU 27device. See the mali_utgard.h header file for how to set up the Mali GPU 28resources. 29