Re: [Xen-devel] Building PVH mini-os with libc support

2017-12-28 Thread Andrew Cooper
On 28/12/2017 23:49, Bruno Alvisio wrote: > > Hello Andrew, > >   > > Thanks. Yup, you were right. I did an objdump of the kernel and found > the offending instruction 0x5cfcb to be callq *%r15 in the > console_print function (see below): > Answering out of order... > I am not familiar with the X

Re: [Xen-devel] Building PVH mini-os with libc support

2017-12-28 Thread Bruno Alvisio
Hello Andrew, Thanks. Yup, you were right. I did an objdump of the kernel and found the offending instruction 0x5cfcb to be callq *%r15 in the console_print function (see below): 00056ee9 : 56ee9: 55 push %rbp 56eea: 48 89 e5mov%r

Re: [Xen-devel] Building PVH mini-os with libc support

2017-12-28 Thread Andrew Cooper
On 28/12/17 18:33, Bruno Alvisio wrote: > (d360) Bootstrapping... > > (XEN) Dom360 callback via changed to Direct Vector 0x20 > > (d360) Xen Minimal OS (hvm)! > > (XEN) d360v0 Triple fault - invoking HVM shutdown action 1 > > (XEN) *** Dumping Dom360 vcpu#0 state: *** > > (XEN) [ Xen-4.10.0-rc 

[Xen-devel] Building PVH mini-os with libc support

2017-12-28 Thread Bruno Alvisio
Hello all, I am trying to build PVH mini-os with libc support. These are the steps I have followed so far: 1. Xen repo (master: commit id: d2f86bf604698806d311cc251c1b66fbb752673c) 2. mini-os repo (master: commit id: 0b4b7897e08b967a09bed2028a79fabff82342dd) 3. Made the following modifications i