I need to access the user image from a user application for verifying that the binary is installed correctly.

So I found in bootinfo.h that it contains userImageFrames and its supposed to be the one I'm looking for but it gave me an error when I map the frames via vspace_map_pages(vspace, info->userImageFrames.start, ...) at the root task.

The error is :

ERROR:sel4utils_map_page_pd:223: Error mapping pages, bailing: 2

What am I doing wrong here?

Best,

Oak
--