# title
How can I configure the Mali GPU to run a 64-bit kernel driver with 32-bit user-space libraries?

# topic.label
How can I configure the Mali GPU to run a 64-bit kernel driver with 32-bit user-space libraries?