Hi Oak,
The map is failing as the user image frames are already mapped in. To map a frame again
without unmapping the original frame you need to make a copy of the capability and map
that in instead. A single frame cap can only be mapped in once.
Cheers,
Anna.
On 6/07/2016 9:11 AM, Norrathep Rattanavipanon wrote:
Hi,
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
--
Norrathep (Oak) Rattanavipanon
M.S. in Computer Science
University of California - Irvine
_______________________________________________
Devel mailing list
Devel@sel4.systems<mailto:Devel@sel4.systems>
https://sel4.systems/lists/listinfo/devel
--
Anna Lyons
Kernel engineer / PhD Student
DATA61 | CSIRO
E anna.lyons@nicta.com.au<mailto:anna.lyons@nicta.com.au>
www.data61.csiro.au<http://www.data61.csiro.au>
CSIRO's Digital Productivity business unit and NICTA have joined forces to create
digital powerhouse Data61
________________________________
The information in this e-mail may be confidential and subject to legal professional
privilege and/or copyright. National ICT Australia Limited accepts no liability for any
damage caused by this email or its attachments.