Hi Jeremy,
This is currently not on our roadmap and hasn't been fixed.
However, if you can put up a pull request with what you have done we'd be more than
happy to take a look.
Cheers,
Anna.
________________________________
From: Devel <devel-bounces(a)sel4.systems> on behalf of Jeremy Fields
<fieldsjd(a)critical.com>
Sent: Wednesday, 18 July 2018 11:24 PM
To: devel(a)sel4.systems
Subject: [seL4] Image lies outside of usable physical memory v2
http://sel4.systems/pipermail/devel/2016-July/000918.html
I'm running into the same issue, with likely the same cause. I wanted to see if there
is any further insight that can be given on this? I'm guessing there hasn't been
any updates to seL4's memory allocation in this aspect. (I'm using seL4 9.0.1)
My naive attempt of commenting out that particular check in seL4 just results in the
machine hard resetting when it runs (if only it were that easy).
Unfortunately I cannot say that we will get around to
fixing this in a particularly timely manner. (2016)
Any chance this is on a
roadmap?
--
Sincerely,
Jeremy
______________________________
Software Engineer
Critical Technologies Inc.