Searched hist:"88 e6e089bcabb6ed26a9ce200c61af09ad69a214" (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/tee/ |
| H A D | tee_rpmb_fs.c | 88e6e089bcabb6ed26a9ce200c61af09ad69a214 Wed Jan 27 16:38:21 UTC 2016 Jerome Forissier <jerome.forissier@linaro.org> RPMB: make device ID configurable
Introduce CFG_RPMB_FS_DEV_ID (default value: 0), so that the eMMC
device used by the RPMB filesystem is easily configurable.
For instance, set CFG_RPMB_FS_DEV_ID=1 for /dev/mmcblk1rpmb.
Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
|
| /optee_os/mk/ |
| H A D | config.mk | 88e6e089bcabb6ed26a9ce200c61af09ad69a214 Wed Jan 27 16:38:21 UTC 2016 Jerome Forissier <jerome.forissier@linaro.org> RPMB: make device ID configurable
Introduce CFG_RPMB_FS_DEV_ID (default value: 0), so that the eMMC
device used by the RPMB filesystem is easily configurable.
For instance, set CFG_RPMB_FS_DEV_ID=1 for /dev/mmcblk1rpmb.
Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
|