On Dec 11, 2015, at 15:19, Robert VanVossen <[email protected]> wrote: > I am trying to map a device 1:1 in my root thread. When I try to reserve a > range > at the specific location, using the vspace_reserve_range_at() function I get > the > following error: > > ERROR:sel4utils_reserve_range_at_no_alloc:585: Range not available at > 0xf8f00000, size 0x64000. > > Is there something that the kernel or the root task needs to do before this to > make this range available for reservation?
Addresses above 0xf0000000 are not available for mapping on ARM. See: https://github.com/seL4/seL4/blob/master/haskell/src/SEL4/Kernel/VSpace/ARM.lhs#L46 and https://github.com/seL4/seL4/blob/master/src/arch/arm/kernel/vspace.c#L1441 Thus, you will not be able to arrange a 1:1 physical-to-virtual mapping in this region. -- Brian Mastenbrook CTO Wearable Inc. Makers of AirStash _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
