Re: Basic support for HiKey960 & SMP question

Dear Jakub,

> From the symptoms in the log it seems to me like you were running a 
> virt-enabled kernel with the L4Re build configured for a 
> non-virt-enabled kernel. Can you check that CONFIG_KERNEL_CPU_VIRT is 
> set to y in your .kconfig?

Yes, you are correct. I confirm that this configuration mismatch was the 
root cause of the issue. I must've overlooked something while I've been 
updating the files in the snapshot with the files from the upstream repos.

I'm wondering whether it would be useful to have a compile-time (or at 
least run-time) check to catch such configuration mismatch between 
Fiasco and L4Re.

Well, updating the snapshot was a poor man's solution anyway and using 
Ham is IMHO a better approach. Thanks!


Best regards

Martin Decky