Branch: refs/heads/coverity_scan
  Commit: dd581430938eaf1b30a427be519f9fac51783be6
  Author: Jan Kiszka <>
  Date:   2016-10-04 (Tue, 04 Oct 2016)

  Changed paths:
    M hypervisor/arch/arm/include/asm/paging.h

  Log Message:
  arm: Add barriers to arch_paging_flush_page_tlbs

This adds the barriers needed according to ARM DDI 0406C.c, D7.5.3. As
we only map MMIO and non-executable RAM, there is no need for BPIALLIS
in our case.

Signed-off-by: Jan Kiszka <>

  Commit: 7de8a700f35e45447a0ab25c627060d3fed8c097
  Author: Ralf Ramsauer <>
  Date:   2016-10-04 (Tue, 04 Oct 2016)

  Changed paths:
    M configs/jetson-tk1.c

  Log Message:
  config: fix address overlap in TK1 configs

configs/jetson-tk1.c comments that the system should be started with
mem=1984' as cmdline option.  This reserves uppermost 64MiB of memory.
Hypervisor memory started at 0xfc000000 and reserved all of that memory,
so actually there has never been enough inmate RAM for jetson-tk1-demo.c.

Physical memory of the jetson-tk1-demo.c inmate started at 0xfbfe0000,
which overlaps with root cell memory. This is a configuration bug. As
soon as the root cell touches that part of the memory, jailhouse will

As a solution, simply spend more memory for jailhouse and its inmates.
Reserve 64MiB for inmates and 63MiB for the hypervisor.

Current RAM Layout of the TK1:
80000000-f7ffffff : root cell memory (1920MiB)
f8000000-fbffffff : available for inmates (64MiB)
fc000000-ffefffff : jailhouse hypervisor (63MiB)
fff00000-ffffffff : PSCI (1MiB)

Signed-off-by: Ralf Ramsauer <>
Signed-off-by: Jan Kiszka <>


You received this message because you are subscribed to the Google Groups 
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
For more options, visit

Reply via email to