Navigation: Linux Kernel Driver DataBase - web LKDDB: Main index - O index
The Linux kernel configuration item CONFIG_OPTEE_SHM_NUM_PRIV_PAGES
:
CONFIG_OPTEE
This sets the number of private shared memory pages to be used by OP-TEE TEE driver.
Raw data from LKDDb:
(none)
This page is automaticly generated with free (libre, open) software lkddb(see lkddb-sources).
The data is retrived from:
Popular queries:
Navigation: Linux Kernel Driver DataBase - web LKDDB: main index - O index
Automatically generated (in year 2024). See also LKDDb sources on GitLab