From: Jan Kiszka <[email protected]> Include GPIO region and extend the list of assigned interrupts. Both probably required more fine-tuning later on.
Signed-off-by: Jan Kiszka <[email protected]> --- configs/jetson-tk1.c | 27 ++++++++++++++++++++++++--- 1 file changed, 24 insertions(+), 3 deletions(-) diff --git a/configs/jetson-tk1.c b/configs/jetson-tk1.c index c6960c4..6b7029f 100644 --- a/configs/jetson-tk1.c +++ b/configs/jetson-tk1.c @@ -23,8 +23,8 @@ struct { struct jailhouse_system header; __u64 cpus[1]; - struct jailhouse_memory mem_regions[10]; - struct jailhouse_irqchip irqchips[1]; + struct jailhouse_memory mem_regions[11]; + struct jailhouse_irqchip irqchips[3]; } __attribute__((packed)) config = { .header = { .signature = JAILHOUSE_SYSTEM_SIGNATURE, @@ -42,7 +42,7 @@ struct { .cpu_set_size = sizeof(config.cpus), .num_memory_regions = ARRAY_SIZE(config.mem_regions), - .num_irqchips = 1, + .num_irqchips = ARRAY_SIZE(config.irqchips), }, }, @@ -72,6 +72,13 @@ struct { .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE | JAILHOUSE_MEM_IO, }, + /* GPIO */ { + .phys_start = 0x6000d000, + .virt_start = 0x6000d000, + .size = 0x00001000, + .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE | + JAILHOUSE_MEM_IO, + }, /* I2C5/6, SPI */ { .phys_start = 0x7000d000, .virt_start = 0x7000d000, @@ -130,5 +137,19 @@ struct { 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff }, }, + /* GIC */ { + .address = 0x50041000, + .pin_base = 96, + .pin_bitmap = { + 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff + }, + }, + /* GIC */ { + .address = 0x50041000, + .pin_base = 160, + .pin_bitmap = { + 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff + }, + }, }, }; -- 2.1.4 -- 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
