]> rtime.felk.cvut.cz Git - jailhouse.git/blob - configs/jetson-tk1-demo.c
jailhouse: configs: Add the novaboot root cell config. It was generated using jailhou...
[jailhouse.git] / configs / jetson-tk1-demo.c
1 /*
2  * Jailhouse, a Linux-based partitioning hypervisor
3  *
4  * Configuration for gic-demo or uart-demo inmate on Jetson TK1:
5  * 1 CPU, 64K RAM, serial port 0
6  *
7  * Copyright (c) Siemens AG, 2015
8  *
9  * Authors:
10  *  Jan Kiszka <jan.kiszka@siemens.com>
11  *
12  * This work is licensed under the terms of the GNU GPL, version 2.  See
13  * the COPYING file in the top-level directory.
14  */
15
16 #include <linux/types.h>
17 #include <jailhouse/cell-config.h>
18
19 #define ARRAY_SIZE(a) sizeof(a) / sizeof(a[0])
20
21 struct {
22         struct jailhouse_cell_desc cell;
23         __u64 cpus[1];
24         struct jailhouse_memory mem_regions[2];
25 } __attribute__((packed)) config = {
26         .cell = {
27                 .signature = JAILHOUSE_CELL_DESC_SIGNATURE,
28                 .name = "jetson-tk1-demo",
29                 .flags = JAILHOUSE_CELL_PASSIVE_COMMREG,
30
31                 .cpu_set_size = sizeof(config.cpus),
32                 .num_memory_regions = ARRAY_SIZE(config.mem_regions),
33         },
34
35         .cpus = {
36                 0x8,
37         },
38
39         .mem_regions = {
40                 /* UART */ {
41                         .phys_start = 0x70006000,
42                         .virt_start = 0x70006000,
43                         .size = 0x1000,
44                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
45                                 JAILHOUSE_MEM_IO,
46                 },
47                 /* RAM */ {
48                         .phys_start = 0xfbfe0000,
49                         .virt_start = 0,
50                         .size = 0x00010000,
51                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
52                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_LOADABLE,
53                 },
54         },
55 };