Make java benchmarks runnable out of the box again

Added missing bench.jar file back to the image.
Fixed an obsolete description in the README file.

Signed-off-by: Tomasz Grabiec <tgrabiec@cloudius-systems.com>
virtio-net: Remove unused page size constant

The page_size constant is not used in the code so lets just remove it.

Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
x64: nested exceptions

Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
Revert "x64: nested exceptions"

This reverts commit c4d913b05868011acd5f120f8bb74406c0a1e743.
mman: Fix mmap() tracepoint

Use separate tracepoints for mmap() entry and exit points so that we
trace the entry even if the rest of the operation crashes the kernel.

Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
mmu: Separate page table population and allocation

Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
mmu: Use on-demand paging for anonymous virtual memory

Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>