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, <[email protected]> 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 <[email protected]> on behalf of Sathya Narayanan > N <[email protected]> > *Sent:* Thursday, 9 August 2018 10:34 PM > *To:* [email protected] > *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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
