[kragen]

I think specifically for 0x4000 you can't map anything there with a default Linux kernel configuration. The minimum address where you can map things now is 0x10000. This broke my StoneKnifeForth and Max Bernstein fixed it: https://github.com/tekknolagi/stoneknifecpp/commit/905105b44...

[tekknolagi]

Technically Tom fixed it :) He's the Linux whisperer. I just submitted the patch

[kragen]

Oops! Thanks Tom Hebb!

[kentonv]

Whoops, indeed. Guess you'll have to modify the code that made the jump. Ugh.