vmm: Add guard page support

All vmm allocations gets a guard page on each side by default. Two vmm
flags, VMM_FLAG_NO_START_GUARD and VMM_FLAG_NO_END_GUARD, can be used to
disable these gaurd pages. This change assumes, and enforces, that the
kernel and user address spaces are separated by at least a page and that
neither of them start at 0.

Bug: 80145793
Change-Id: If9cf5d408cb089abe4ff59922a32ad7a1064374b
2 files changed
tree: 0fc8009b8589713ddcf333364b7136e74b69f7d5
  1. app/
  2. arch/
  3. dev/
  4. external/
  5. hosttests/
  6. include/
  7. kernel/
  8. lib/
  9. make/
  10. platform/
  11. target/
  12. tools/
  13. top/
  14. .clang-format
  15. .gitignore
  16. build-config-kerneltests
  17. engine.mk
  18. kerneltests-inc.mk
  19. LICENSE
  20. lk_inc.mk.example
  21. makefile
  22. README.md
README.md

LK

The LK embedded kernel. An SMP-aware kernel designed for small systems.

See https://github.com/littlekernel/lk for the latest version.

See https://github.com/littlekernel/lk/wiki for documentation.

Builds

Build Status

To build and test for ARM on linux

  1. install or build qemu. v2.4 and above is recommended.
  2. install gcc for embedded arm (see note 1)
  3. run scripts/do-qemuarm (from the lk directory)
  4. you should see ‘welcome to lk/MP’

This will get you a interactive prompt into LK which is running in qemu arm machine ‘virt’ emulation. type ‘help’ for commands.

note 1: for ubuntu: sudo apt-get install gcc-arm-none-eabi or fetch a prebuilt toolchain from http://newos.org/toolchains/arm-eabi-5.3.0-Linux-x86_64.tar.xz