Hello, 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? BTW, I am still using seL4 1.0. Thanks, Robbie VanVossen DornerWorks
On Dec 11, 2015, at 15:19, Robert VanVossen
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.... 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
participants (2)
-
Brian Mastenbrook -
Robert VanVossen