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?
Norrathep (Oak) RattanavipanonM.S. in Computer ScienceUniversity of California - Irvine
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
-- Anna Lyons Kernel engineer / PhD Student DATA61 | CSIRO E firstname.lastname@example.org www.data61.csiro.au CSIRO's Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61