Hello, I am trying to use coloring on my board, using branch wip/coloring, but when i issue "jailhouse enable root_cell.cell", the console outputs "JAILHOUSE_ENABLE: invalid argument".
I've modified drivers/main.c to printk some steps, and i've noticied that the jailhouse.ko generated from wip/coloring branch doesn't get the right value for config_header.root_cell.cpu_set_size on jailhouse_cmd_enable() function. The value for config_header.root_cell.cpu_set_size should be 8 bytes (it comes from root cell config file) but somehow it reads 0 bytes. root cell config file.c > .... > __u64 cpus[1]; > ... > .cpu_set_size = sizeof(config.cpus); > ... > When i use the master branch, within jailhouse_cmd_enable(), it reads correctly 8 bytes from config_header.root_cell.cpu_set_size, but with wip/coloring branch, it reads 0 bytes from the same config file. -- 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/jailhouse-dev/a8a5bcdc-c3b7-459b-9116-fd4a04f2f02a%40googlegroups.com.
