Hi Oak,
Frame caps can only have one associated mapping. Have you tried copying the frame cap and mapping the copy instead?
- Alex ________________________________________ From: Devel [devel-bounces@sel4.systems] on behalf of Norrathep Rattanavipanon [nrattana@uci.edu] Sent: Wednesday, 6 July 2016 09:11 To: devel@sel4.systems Subject: [seL4] Capabilities of binary images
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
________________________________
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.