Re: [Xen-devel] [PATCH v3] minios: don't rely on specific page table allocation scheme

2015-11-23 Thread Ian Campbell
On Fri, 2015-11-20 at 19:39 +0100, Samuel Thibault wrote: > Juergen Gross, on Fri 20 Nov 2015 19:32:42 +0100, wrote: This patch conflicted with 1855e8b2e884 "mini-os: enable compiler check for printk format types" which was committed in June. I have (hopefully correctly) resolved the conflict by

Re: [Xen-devel] [PATCH v3] minios: don't rely on specific page table allocation scheme

2015-11-20 Thread Samuel Thibault
Juergen Gross, on Fri 20 Nov 2015 19:32:42 +0100, wrote: > Today mini-os is making assumptions how the page tables it is started > with are being allocated. Especially it is using the number of page > table frames to calculate which is the first unmapped pfn. > > Instead of relying on page table n

[Xen-devel] [PATCH v3] minios: don't rely on specific page table allocation scheme

2015-11-20 Thread Juergen Gross
Today mini-os is making assumptions how the page tables it is started with are being allocated. Especially it is using the number of page table frames to calculate which is the first unmapped pfn. Instead of relying on page table number assumptions just look into the page tables to find the first