From mboxrd@z Thu Jan  1 00:00:00 1970
From: Stefano Stabellini <sstabellini@kernel.org>
Subject: Re: [ARM] Native application design and discussion (I
 hope)
Date: Mon, 24 Apr 2017 11:08:07 -0700 (PDT)
Message-ID: <alpine.DEB.2.10.1704241007490.16723@sstabellini-ThinkPad-X260>
References: <CAOcqxo0vMTAiTVY63__aBFwot6BzNcFzfSPdSD-5ABamUAmqXQ@mail.gmail.com>
 <alpine.DEB.2.10.1704061349310.2759@sstabellini-ThinkPad-X260>
 <CAOcqxo2n9gtwUz0xv0t22aA=mO8UZboT3ciuoN_e5q6isAWaNw@mail.gmail.com>
 <alpine.DEB.2.10.1704071622390.2759@sstabellini-ThinkPad-X260>
 <alpine.DEB.2.10.1704111330140.2759@sstabellini-ThinkPad-X260>
 <1492020822.3287.33.camel@citrix.com>
 <alpine.DEB.2.10.1704121207270.2759@sstabellini-ThinkPad-X260>
 <CAOcqxo0mZDZE7Jh6MCRJHCnq1q5CC4PNhA0rJz4BoyGENpK_tQ@mail.gmail.com>
 <d79290b9-4621-4da2-139d-50a4362736ea@epam.com>
 <alpine.DEB.2.10.1704211352310.19860@sstabellini-ThinkPad-X260>
 <ad282972-8dd1-7303-5fae-c80bc494cb66@epam.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xen.org>
In-Reply-To: <ad282972-8dd1-7303-5fae-c80bc494cb66@epam.com>
List-Unsubscribe: <https://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
 <mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <https://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
 <mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Errors-To: xen-devel-bounces@lists.xen.org
Sender: "Xen-devel" <xen-devel-bounces@lists.xen.org>
To: Andrii Anisov <andrii_anisov@epam.com>
Cc: Stefano Stabellini <sstabellini@kernel.org>, Volodymyr Babchuk <vlad.babchuk@gmail.com>, Dario Faggioli <dario.faggioli@citrix.com>, george.dunlap@citrix.com, Xen Devel <xen-devel@lists.xen.org>, Julien Grall <julien.grall@arm.com>, Artem Mygaiev <joculator@gmail.com>
List-Id: xen-devel@lists.xenproject.org

T24gTW9uLCAyNCBBcHIgMjAxNywgQW5kcmlpIEFuaXNvdiB3cm90ZToKPiBPbiAyMS4wNC4xNyAy
Mzo1OCwgU3RlZmFubyBTdGFiZWxsaW5pIHdyb3RlOgo+ID4gSGVsbG8gQW5kcmlpLAo+ID4gCj4g
PiBjb3VsZCB5b3UgcGxlYXNlIHVzZSBwbGFpbiB0ZXh0IChub3QgSFRNTCkgaW4geW91ciBlbWFp
bHM/Cj4gTXkgYmFkLiBXaWxsIGJlIGNoZWNraW5nIGRlbGl2ZXJ5IGZvcm1hdCBzZXR0aW5ncyBj
YXJlZnVsbHkuCj4gCj4gPiBPbiBGcmksIDIxIEFwciAyMDE3LCBBbmRyaWkgQW5pc292IHdyb3Rl
Ogo+ID4gPiBXZSB3aWxsIGFsc28gbmVlZCBhbm90aGVyIHR5cGUgb2YgYXBwbGljYXRpb246IG9u
ZSB3aGljaCBpcyBwZXJpb2RpY2FsbHkKPiA+ID4gY2FsbGVkIGJ5IFhFTiBpdHNlbGYsIG5vdCBh
Y3R1YWxseSBzZXJ2aWNpbmcgYW55IGRvbWFpbiByZXF1ZXN0LiBUaGlzIGlzCj4gPiA+IG5lZWRl
ZCBmb3IgYQo+ID4gPiBjb3Byb2Nlc3NvciBzaGFyaW5nIGZyYW1ld29yayBzY2hlZHVsZXIgaW1w
bGVtZW50YXRpb24uCj4gPiBFTDAgYXBwcyBjYW4gYmUgYSBwb3dlcmZ1bCBuZXcgdG9vbCBmb3Ig
dXMgdG8gdXNlLCBidXQgdGhleSBhcmUgbm90IHRoZQo+ID4gc29sdXRpb24gdG8gZXZlcnl0aGlu
Zy4gVGhpcyBpcyB3aGVyZSBJIHdvdWxkIGRyYXcgdGhlIGxpbmU6IGlmIHRoZQo+ID4gd29ya2xv
YWQgbmVlZHMgdG8gYmUgc2NoZWR1bGVkIHBlcmlvZGljYWxseSwgdGhlbiBpdCBpcyBub3QgYSBn
b29kIGZpdAo+ID4gZm9yIGFuIEVMMCBhcHAuCj4gRnJvbSBteSBsYXN0IGNvbnZlcnNhdGlvbiB3
aXRoIFZvbG9keW15ciBJJ3ZlIGdvdCBhIGZlZWxpbmcgdGhhdCBub3Rpb25zICJFTDAiCj4gYW5k
ICJYRU4gbmF0aXZlIGFwcGxpY2F0aW9uIiBtdXN0IGJlIHByZXR0eSBvcnRob2dvbmFsLgo+IElu
IFsxXSBWb2xvZHlteXIgZ290IG5vIHBlcmZvcm1hbmNlIGdhaW4gZnJvbSBjaGFuZ2luZyBkb21h
aW4ncyBleGNlcHRpb24KPiBsZXZlbCBmcm9tIEVMMSB0byBFTDAuCj4gT25seSB3aGVuIFZvbG9k
eW15ciBzdHJpcHBlZCB0aGUgZG9tYWluJ3MgY29udGV4dCAgYWJzdHJhY3Rpb24gKGkuZS4gZHJv
cHBlZAo+IEdJQyBjb250ZXh0IHN0b3JlL3Jlc3RvcmUpIHNvbWUgbm90aWNlYWJsZSByZXN1bHRz
IHdlcmUgcmVhY2hlZC4KPiBTbyBJIHRyZWF0IGhpcyByZXN1bHRzIGFzIGEgImxpZ2h0IGRvbWFp
biIgZXhwZXJpbWVudC4KPiBGb3IgbWUgaXQgaXMgaW50ZXJlc3RpbmcgaG93IGNvbmZpZ3VyYWJs
ZSBhbmQgbGlnaHQgdGhlICJkb21haW4iIGFic3RyYWN0aW9uCj4gY291bGQgYmUgYW5kIHdoZW4g
aXQgc3RhcnRzIHRvIGJlIHRyZWF0ZWQgYXMgYSAibmF0aXZlIGFwcGxpY2F0aW9uIj8KPiAKPiA+
IEluIHRoYXQgY2FzZSwgc3R1YmRvbXMgb3IgcmVndWxhciBkcml2ZXIgZG9tYWlucyBhcmUgYQo+
ID4gYmV0dGVyIGNob2ljZS4KPiBTb3JyeSBmb3IgbXkgaWdub3JhbmNlLCBidXQgaXMgdGhlcmUg
YW55IGRpZmZlcmVuY2UgYmV0d2VlbiByZWd1bGFyIGRvbWFpbnMKPiBhbmQgc3R1YiBkb21haW5z
IGZyb20gaHlwZXJ2aXNvciBwb2ludCBvZiB2aWV3Pwo+IAo+IFsxXWh0dHA6Ly9tYXJjLmluZm8v
P2w9eGVuLWRldmVsJm09MTQ5MDg4ODU2MTE2Nzk3Jnc9MiAgLSBiZW5jaG1hcmsgcmVzdWx0cwoK
TGV0IG1lIGFkZCBtb3JlIGNvbnRleHQgYW5kIGluZm9ybWF0aW9uLgoKClN0dWJkb21haW5zIChz
dHViZG9tcyBpbiBzaG9ydCkgYXJlIHNtYWxsIGRvbWFpbnMsIGVhY2ggcnVubmluZyBhIHNpbmds
ZQphcHBsaWNhdGlvbi4gVHlwaWNhbGx5IHRoZXkgcnVuIHVuaWtlcm5lbHMgcmF0aGVyIHRoYW4g
YSBmdWxsIGZsZWRnZWQKb3BlcmF0aW5nIHN5c3RlbS4gQSBjbGFzc2ljIGV4YW1wbGUgaXMgUUVN
VSBzdHViZG9tcyBvbiB4ODY6IG9uZSBRRU1VCnN0dWJkb21zIGlzIHN0YXJ0ZWQgZm9yIGVhY2gg
cmVndWxhciBndWVzdCBkb21haW4uIEVhY2ggUUVNVSBzdHViZG9tCmluc3RhbmNlIHByb3ZpZGVz
IGVtdWxhdGlvbiBmb3Igb25lIGd1ZXN0IC0gaXQgcnVucyBvbmUgaW5zdGFuY2Ugb2YKUUVNVS4K
CkZyb20gWGVuIHBvaW50IG9mIHZpZXcsIHRoZXkgYXJlIHJlZ3VsYXIgZG9tYWluLCBleGNlcHQg
dGhhdCB0aGV5IGFyZQpwcml2aWxlZ2UgaW4gcmVnYXJkcyB0byBvbmUgcGFydGljdWxhciBndWVz
dCBvbmx5ICh0aGV5IGNhbiBtYXAgYSBwYWdlCm9mIHRoZSBndWVzdCB0aGV5IGFyZSBzZXJ2aWNp
bmcsIGJ1dCB0aGV5IGNhbm5vdCBtYXAgYW55IHJhbmRvbSBwYWdlIGluCm1lbW9yeSkuIElmIHlv
dSBkbyAieGwgbGlzdCIgeW91IHdvdWxkIHNlZSBzdHViZG9tcyBpbiB0aGUgb3V0cHV0LgoKVGhl
IGFkdmFudGFnZXMgb2YgdXNpbmcgc3R1YmRvbXMgYXJlOgotIHRoZXkgYWxyZWFkeSBleGlzdAot
IHRoZWlyIHNlY3VyaXR5IHByb3BlcnRpZXMgYXJlIHdlbGwga25vd24KLSB5b3UgY291bGQgcnVu
IGFsbW9zdCBhbnl0aGluZywgaW5jbHVkaW5nIExpbnV4IG9yIGEgZnVsbCBkaXN0cm8sIGFzIGEK
ICBzdHViZG9tCi0gdGhleSBjb3VsZCBhY2Nlc3MgaGFyZHdhcmUgcmVzb3VyY2VzIGlmIHlvdSBh
c3NpZ24gdGhlbSB0byBzdHViZG9tcwotIHRoZXJlIGNvdWxkIGJlIG9uZSBmb3IgYWxsIGd1ZXN0
cyAobGlrZSBEb21EKSwgb3IgbWFueQotIHRoZXkgY2FuIHJ1biBpbiBwYXJhbGxlbCB0byB0aGUg
Z3Vlc3QgdmNwdXMKClRoZSBkaXNhZHZhbnRhZ2VzIGFyZToKLSB0aGV5IGFyZSBzY2hlZHVsZWQg
aW5kZXBlbmRlbnRseTogdGhlIFhlbiBzY2hlZHVsZXIgaGFzIG5vIHNwZWNpYWwKICBjb2RlIHRv
IGhhbmRsZSBzdHViZG9tcy4gVGltZSBzcGVudCBpbiBhIHN0dWJkb20gaXMgbm90IGFjY291bnRl
ZCB0bwogIHRoZSBndWVzdCB0aGF0IHRyaWdnZXJlZCBpdC4KLSB0aGV5IHBvdGVudGlhbGx5IHJ1
biBvbiBhbnkgcGNwdTogYmVjYXVzZSB0aGV5IGFyZSBzY2hlZHVsZWQKICBpbmRlcGVuZGVudGx5
LCB0aGV5IGNvdWxkIGJlIHJ1biBhbnl3aGVyZQotIHNsb3dlciB0byBjb250ZXh0IHN3aXRjaAot
IHdlIGRvbid0IGhhdmUgYSBnb29kIChhbnk/KSBpbmZyYXN0cnVjdHVyZSB0byBidWlsZCBzdHVi
ZG9tcyB0b2RheQotIHRoZXkgc2hvdyB1cCBvbiAieGwgbGlzdCIsIG1vc3QgdXNlcnMgZmluZCBp
dCBjb25mdXNpbmcKCgpJbiB0aGlzIHRocmVhZCwgd2UgYXJlIGRpc2N1c3Npbmcgd2hldGhlciBp
dCBtYWtlcyBzZW5zZSB0byBpbnRyb2R1Y2UgYQoqbmV3KiBtb2RlbCwgb25lIHRoYXQgaGFzIGRp
ZmZlcmVudCBwcm9wZXJ0aWVzLCB0aGVyZWZvcmUgZGlmZmVyZW50CmFkdmFudGFnZXMgYW5kIGRp
c2FkdmFudGFnZXMuIExldCdzIGNhbGwgaXQgRUwwIGFwcHMuCgpBbiBFTDAgYXBwIGlzIGFuIGFw
cGxpY2F0aW9uIHRoYXQgcnVucyBvbiB0b3Agb2YgdGhlIFhlbiBoeXBlcnZpc29yCmRpcmVjdGx5
IGluIEVMMCBtb2RlLiBJdCBpcyBub3QgYSBkb21haW4sIGFuZCBpdCBkb2Vzbid0IHNob3cgdXAg
b24gInhsCmxpc3QiLiBJdCBydW5zIG9uIHRoZSBzYW1lIHRpbWVzbG90IG9mIHRoZSBndWVzdCB2
Y3B1IGl0IGlzIHNlcnZpY2luZy4KSXQgaXMgc2NoZWR1bGVkIGRldGVybWluaXN0aWNhbGx5OiBy
aWdodCBhZnRlciBhIGd1ZXN0IHZjcHUgdHJhcHMgaW50bwp0aGUgaHlwZXJ2aXNvci4gVGhlIGJ1
aWxkIGlzIHNpbXBsZS4gV3JpdGluZyBhbiBFTDAgYXBwIHNob3VsZCBiZQooYWxtb3N0KSBhcyBz
aW1wbGUgYXMgd3JpdGluZyBhIHJlZ3VsYXIgZW11bGF0b3IgZm9yIFhlbi4gQW4gRUwwCmFwcCBp
cyBub3Qgc2NoZWR1bGVkLCBidXQgaXQgY291bGQgcmVnaXN0ZXIgYSB0aW1lciB3aXRoIFhlbi4g
VGhlCmludGVyZmFjZSBiZXR3ZWVuIEVMMCBhcHBzIGFuZCBYZW4gaXMgc21hbGw6IHRoZSBudW1i
ZXIgb2YKZnVuY3Rpb25hbGl0aWVzIGV4cG9zZWQgYXJlIHZlcnkgbGltaXRlZC4gVGhleSBkb24n
dCBhY2Nlc3MgaGFyZHdhcmUuCgpUaGUgYWR2YW50YWdlcyBvZiB1c2luZyBFTDAgYXBwcyBhcmU6
Ci0gc2NoZWR1bGVkIGRldGVybWluaXN0aWNhbGx5Ci0gZmFzdGVyIGNvbnRleHQgc3dpdGNoCi0g
bG93ZXIgYW5kIGRldGVybWluaXN0aWMgbGF0ZW5jeQotIEVMMCBhcHBzIGV4ZWN1dGlvbiB0aW1l
IGlzIGFjY291bnRlZCBhcHByb3ByaWF0ZWx5IHRvIHRoZSBndWVzdCB0aGF0CiAgdGhleSBhcmUg
c2VydmljaW5nCi0gdGhleSBydW4gb24gdGhlIHNhbWUgcGNwdSBhcyB0aGUgZ3Vlc3QgdmNwdQot
IHdyaXRpbmcgYW5kIGJ1aWxkaW5nIEVMMCBhcHBzIHNob3VsZCBiZSBlYXNpZXIKClRoZSBkaXNh
ZHZhbnRhZ2VzIGFyZToKLSBzdXBwb3J0IGZvciBFTDAgYXBwcyBzdGlsbCBuZWVkcyB0byBiZSB3
cml0dGVuCi0gdGhleSBvbmx5IGV4cG9zZSBsaW1pdGVkIGZ1bmN0aW9uYWxpdGllcyAobWFwIGd1
ZXN0IHBhZ2VzLCBzZW5kCiAgaW50ZXJydXB0cyB0byBndWVzdCwgcmVnaXN0ZXIgdGltZXIpCi0g
dGhleSBkb24ndCBoYXZlIGFjY2VzcyB0byBoYXJkd2FyZQotIG9uZSBmb3IgZWFjaCBndWVzdCAo
bm90IG9uZSBmb3IgYWxsIGd1ZXN0cykKCgpBcyB5b3UgY2FuIGltYWdpbmUsIGRlcGVuZGluZyBv
biB3aGF0IHlvdSBuZWVkIHRvIHdyaXRlLCBvbmUgbW9kZWwgY291bGQKYmUgYSBiZXR0ZXIgZml0
IHRoYW4gdGhlIG90aGVyLiBBbHRob3VnaCBzdHViZG9tcyBvbiB4ODYgYXJlIG1vc3RseSB1c2Vk
CnRvIHJ1biBRRU1VLCB0byBwcm92aWRlIGVtdWxhdGlvbiB0byBndWVzdHMsIGFjdHVhbGx5LCBl
bXVsYXRvcnMgd291bGQKYmUgYSBiZXR0ZXIgZml0IGFzIEVMMCBhcHBzLgoKU29tZXRoaW5nIG1v
cmUgY29tcGxleCB0aGF0IHJlcXVpcmVzIGludGVyYWN0aW9uIHdpdGggdGhlIGhhcmR3YXJlIGlz
Cmxpa2VseSBiZXR0ZXIgYXMgYSBzdGFuZGFsb25lIHN0dWJkb20uCgoKPiBJZiB3ZSBhcmUgc3Bl
YWtpbmcgYWJvdXQgc2hhcmVkIGNvcHJvY2Vzc29ycyBmcmFtZXdvcmssIHdlIG5lZWQgaGVyZSBz
ZXZlcmFsCj4gdGhpbmdzOgo+ICAtIE1NSU8gYWNjZXNzIGVtdWxhdGlvbgoKVGhpcyBjb3VsZCBi
ZSBydW4gYXMgRUwwIGFwcC4KCgo+ICAtIHBlcmlvZGljIGFjdGlvbnMgKHNjaGVkdWxpbmcpIHdo
aWNoIGF0IGxlYXN0IHdpbGwgaW5jbHVkZSBJT01NVQo+IHJlY29uZmlndXJhdGlvbiBhbmQgc29t
ZSBhY3Rpb25zIHdpdGggY29wcm9jZXNzb3IgaGFyZHdhcmUgaXRzZWxmIGluIHJ1bnRpbWUKPiAg
LSBjb3Byb2Nlc3NvciBpbnRlcnJ1cHRzIGhhbmRsaW5nIGFuZCByZWRpc3RyaWJ1dGlvbiB0byB0
YXJnZXQgZG9tYWlucwoKVGhlc2Ugd291bGQgYmUgYmV0dGVyIGFzIHN0dWJkb21zLiBPciwgaWYg
dGhleSBhcmUgc2ltcGxlIGVub3VnaCwgaW4KdGhlIGh5cGVydmlzb3IgZGlyZWN0bHkuCgpBc3N1
bWluZyB0aGF0IE1NSU8gYWNjZXNzIGVtdWxhdGlvbiBpcyBkb25lIGluIGFuIEVMMCBhcHAsIGhv
dyBtYW55CnR5cGVzIG9mIGNhbGxzIGRvZXMgaXQgbmVlZCB0byBtYWtlIHRvIHRoZXNlIHR3byBj
b21wb25lbnRzPyBJZiB0aGUKYW5zd2VyIGlzIG5vbmUsIG9yICp2ZXJ5KiBmZXcsIHRoZW4gaXQg
aXMgT0sgdG8gcnVuIE1NSU8gYWNjZXNzCmVtdWxhdGlvbiBhcyBhbiBFTDAgYXBwLiBUaGVzZSB0
d28gY29tcG9uZW50cyBjb3VsZCBldmVuIGJlIGluIFhlbiwgaWYKdGhleSBhcmUgc2ltcGxlIGVu
b3VnaC4KCklmIHRoZXNlIHR3byBwaWVjZXMgYXJlIHJ1biBhcyBhIHN0dWJkb20sIHdlIGNvdWxk
IGRvIGV2ZXJ5dGhpbmcgaW4gYQpzdHViZG9tIChpbmNsdWRpbmcgTU1JTyBhY2Nlc3MgZW11bGF0
aW9uKSwgb3Igd2UgY291bGQgc3RpbGwgcnVuIE1NSU8KYWNjZXNzIGVtdWxhdGlvbiBpbiBhbiBF
TDAgYXBwLCBhbmQgaW50cm9kdWNlIGEgcmluZyBidWZmZXIgY29ubmVjdGluZwpFTDAgYXBwcyB3
aXRoIHRoZSBzdHViZG9tLiBFTDAgYXBwcyBjb3VsZCBzZW5kIHJlcXVlc3RzIHRvIGl0IHRoYXQg
d2F5LgoKSWYgdGhlc2UgdHdvIHBpZWNlcyBhcmUgaW4gWGVuLCB3ZSB3b3VsZCBuZWVkIGEgdmVy
eSBzdHJvbmcgYW5kCndlbGwtdGhvdWdodC1vdXQgc2V0IG9mIGNoZWNrcyB0byBwcm90ZWN0IFhl
biBmcm9tIGJhZCBFTDAgY2FsbHMuIFRoaXMKaXMgd2h5IHdlIGFyZSBzYXlpbmcgdGhhdCBpZiB0
aGUgbnVtYmVyIG9mIEVMMCBjYWxscyBpcyB0b28gaGlnaCwgdGhlbgppdCBtaWdodCBiZSBub3Qg
YmUgZmVhc2libGUgdG8gdXNlIGFuIEVMMCBhcHAgZm9yIHlvdXIgdXNlIGNhc2UuCgpBcyBmYXIg
YXMgSSBjYW4gdGVsbCwgd2l0aG91dCBsb29raW5nIGF0IHRoZSBleGlzdGluZyBjb2RlLCB0aGUg
b3B0aW9ucwphcmU6CjEpIGV2ZXJ5dGhpbmcgaW4gYSBzdHViZG9tCjIpIE1NSU8gYWNjZXNzIGVt
dWxhdGlvbiBhcyBFTDAgYXBwLCB0aGUgcmVzdCBpbiBhIHN0dWJkb20KMykgTU1JTyBhY2Nlc3Mg
ZW11bGF0aW9uIGFzIEVMMCBhcHAsIHRoZSByZXN0IGluIFhlbgoKVGhlIHJpZ2h0IGFwcHJvYWNo
IGRlcGVuZHMgb24gdGhlIHR5cGUgb2YgaW50ZXJhY3Rpb25zIGJldHdlZW4gTU1JTwphY2Nlc3Mg
ZW11bGF0aW9uIGFuZCB0aGUgcmVzdCBvZiB0aGUgc2hhcmVkIGNvcHJvY2Vzc29ycyBmcmFtZXdv
cmsuIERvZXMKdGhpcyBtYWtlIHNlbnNlPwoKCj4gRnJvbSBvbmUgYW5kIHdlIHdvdWxkIGxpa2Ug
dG8gaGF2ZSB0aGF0IHN0dWZmIGVuY2Fwc3VsYXRlZCBpbiBzb21lIGNvbnRhaW5lcgo+IChhcHBs
aWNhdGlvbiksIHNvbWVob3cgc2VwYXJhdGVkIGZyb20gWEVOLiBGcm9tIG90aGVyIGhhbmQgbWlu
aW1hbCBvdmVyaGVhZCBpcwo+IGRlc2lyZWQuCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fXwpYZW4tZGV2ZWwgbWFpbGluZyBsaXN0Clhlbi1kZXZlbEBsaXN0
cy54ZW4ub3JnCmh0dHBzOi8vbGlzdHMueGVuLm9yZy94ZW4tZGV2ZWwK