Branch: refs/heads/coverity_scan
  Home:   https://github.com/siemens/jailhouse
  Commit: dd581430938eaf1b30a427be519f9fac51783be6
      
https://github.com/siemens/jailhouse/commit/dd581430938eaf1b30a427be519f9fac51783be6
  Author: Jan Kiszka <jan.kis...@siemens.com>
  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 <jan.kis...@siemens.com>


  Commit: 7de8a700f35e45447a0ab25c627060d3fed8c097
      
https://github.com/siemens/jailhouse/commit/7de8a700f35e45447a0ab25c627060d3fed8c097
  Author: Ralf Ramsauer <ralf.ramsa...@oth-regensburg.de>
  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
crash.

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 <ralf.ramsa...@oth-regensburg.de>
Signed-off-by: Jan Kiszka <jan.kis...@siemens.com>


Compare: 
https://github.com/siemens/jailhouse/compare/bbf7a8757f12...7de8a700f35e

-- 
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 
to jailhouse-dev+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to