
Thanks Jesse and Anna. I will read the docs. 1. (char *)dest_vaddr + phys_virt_offset = ffffffffc002e000 2. (char *)elf + data_offset, = ffffffff802c2c44 Actually I am trying to copy byte by byte to from location 2 to location 1. Both the locations are virtual addresses. The memcpy routine fails. I am puzzled what could go wrong here. I haven't modified the code here. regards, sathya On Fri, Aug 10, 2018 at 5:00 AM, <Anna.Lyons@data61.csiro.au> wrote:
Hi Sathya,
For details on virtual memory in seL4, please see chapter 7 of the manual: http://sel4.systems/Info/Docs/seL4-manual-latest.pdf
Thanks
Anna. ------------------------------ *From:* Devel <devel-bounces@sel4.systems> on behalf of Sathya Narayanan N <sathya281@gmail.com> *Sent:* Thursday, 9 August 2018 10:34 PM *To:* devel@sel4.systems *Subject:* [seL4] Paging in SEL4
Hi Experts,
Could some one help me in understanding the paging in SEL4 ? the MMU architecture ? Is there any material to understand ?
-- regards, Sathya
-- regards, Sathya