Hi Geoffroy.
Thank you for the clarification.
What I'm trying to do is porting ACRN hypervisor and SOS to my own device. (NUC6i5SYH)
I hope to find some hints from links that you had mentioned. 

Thanks :)
Taekyoung Kim.