Dear João, On Friday, November 30, 2018 at 8:29:44 PM UTC+1, João Reis wrote: > I suppose Jailhouse v0.10 has page coloring, but when i look at > zynqmp-zcu102.c file, i don't see any mention to colored memory regions.
Jailhouse includes no support for page colouring (yet). In the configuration snipped you reported, though, the datatype structure, naming and semantics as described in the comment are identical to the implementation that we developed at the HiPeRT-Lab of the University of Modena and Reggio Emilia (Italy), and that we planned to propose here in a RFC early in a couple of months. More info in my previous message on the topic https://groups.google.com/d/msg/jailhouse-dev/rSSE8Yyjmbo/3IpGx6VVDQAJ . > Do i have to add another memory region structure for memory locations of a > given color like this to enable page coloring? > > .memory_regions_colored = { > { > /* RAM */ > .memory = { > .phys_start = 0x800620000, > .virt_start = 0x20000, > .size = 0x20000, > .flags = JAILHOUSE_MEM_READ | > JAILHOUSE_MEM_WRITE | > JAILHOUSE_MEM_EXECUTE | > JAILHOUSE_MEM_LOADABLE, > }, > .colors = 0x00ff, // color selection bit mask > } If you are using our implementation, then yes, you need not only the color selection here in a cell's configuration, but also the coloring definition in the root-cell one. Please, contact me privately if you would like further assistance. Best regards. -- Marco Solieri, Ph.D. Research Fellow High-Performance Real-Time Lab Università degli Studi di Modena e Reggio Emilia Ufficio 1.37 - Edificio Matematica - 213/b, via Campi - 41121 Modena Tel: +39-059-205-55-10 -- OpenPGP: Ox75822E7E -- 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.