Hi, all
My questions are:
1) It is feasible to do that?
2) If so, what are the correct steps to do that?
3) we try to compile these source code, but failed. We do the following modifications: A) we add TK1 source codes (i.e. TK1 folders from
https://github.com/seL4/seL4.git) to the corresponding libraries in the VMM source code from
https://github.com/smaccm/sel4arm-vmm.git;
and B) we add relevant config definitions to the VMM code. Currently, we can successfully compile the seL4 kernel code, but have trouble to compile the VMM libraries. Do we miss something here?
thanks
Peng