I'm sorry for the inconvenience. segunda-feira, 22 de Julho de 2019 às 10:12:31 UTC+1, Jan Kiszka escreveu: > > On 22.07.19 08:42, João Reis wrote: > > Regarding this problem there was no inconsistency in the build, it was > my fault, > > i just using .cell files from master branch instead of wip/coloring > branch, that > > was the problem. > > Ah, yeah - happens. Thank for clarifying! > > Jan > > > > > segunda-feira, 22 de Julho de 2019 às 06:27:36 UTC+1, Jan Kiszka > escreveu: > > > > On 20.07.19 19:19, João Reis wrote: > > > 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. > > > > > > > Maybe some inconsistency in the build? I'm checking back with the > folks for who > > I created that branch for testing purposes (we are still awaiting a > rework from > > the authors), if it was working fine for them. > > > > Jan > > > > -- > > Siemens AG, Corporate Technology, CT RDA IOT SES-DE > > Corporate Competence Center Embedded Linux >
-- 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/62e48ed5-ad73-44b7-ab97-74516efdbac2%40googlegroups.com.
