Re: [PATCH 00/11] exec: Restrict various system emulation specific headers (to sysemu)

2021-11-06 Thread Philippe Mathieu-Daudé
6 months passed, heavy rebased required, dropping for now. On 5/25/21 16:13, Philippe Mathieu-Daudé wrote: > Ping for review? :) > > On 5/17/21 1:11 PM, Philippe Mathieu-Daudé wrote: >> Hi, >> >> This series restricts various system emulation specific headers >> by moving them under sysemu/ and

Re: [PATCH 00/11] exec: Restrict various system emulation specific headers (to sysemu)

2021-05-25 Thread Philippe Mathieu-Daudé
Ping for review? :) On 5/17/21 1:11 PM, Philippe Mathieu-Daudé wrote: > Hi, > > This series restricts various system emulation specific headers > by moving them under sysemu/ and adding #error if included from > user emulation. > We could avoid the sysemu/ rename if too much churn, but enforcing

[PATCH 00/11] exec: Restrict various system emulation specific headers (to sysemu)

2021-05-17 Thread Philippe Mathieu-Daudé
Hi, This series restricts various system emulation specific headers by moving them under sysemu/ and adding #error if included from user emulation. We could avoid the sysemu/ rename if too much churn, but enforcing error of headers that must not be included in user emulation allows further