From mboxrd@z Thu Jan  1 00:00:00 1970
From: Julien Grall <julien.grall@arm.com>
Subject: Re: Basic bare metal ARM domain interface
Date: Fri, 27 May 2016 11:04:50 +0100
Message-ID: <57481BC2.9030804@arm.com>
References: <65387702CB408A468385A8FFC6F5807C342E87@POSTAR.fer.hr>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"; Format="flowed"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xen.org>
Received: from mail6.bemta5.messagelabs.com ([195.245.231.135])
 by lists.xenproject.org with esmtp (Exim 4.84_2)
 (envelope-from <julien.grall@arm.com>) id 1b6EdT-00077n-Ra
 for xen-devel@lists.xenproject.org; Fri, 27 May 2016 10:04:55 +0000
In-Reply-To: <65387702CB408A468385A8FFC6F5807C342E87@POSTAR.fer.hr>
List-Unsubscribe: <http://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: <http://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: =?UTF-8?Q?Ivan_Pavi=c4=872?= <Ivan.Pavic2@fer.hr>, "xen-devel@lists.xenproject.org" <xen-devel@lists.xenproject.org>
Cc: jtd@galois.com
List-Id: xen-devel@lists.xenproject.org

CgpPbiAyNS8wNS8xNiAyMDo0MiwgSXZhbiBQYXZpxIcyIHdyb3RlOgo+IEhlbGxvLAoKSGVsbG8g
SXZhbiwKCj4gSSdtIHdvcmtpbmcgb24gYmFyZSBtZXRhbCBhcHBsaWNhdGlvbiBmb3IgQVJNIENv
cnRleCBBNy8xNSBvbiBPZHJvaWQgWFUzCj4gcGxhdGZvcm0uIEknbSB1c2luZyBYZW4gNC42Lgo+
Cj4gQWZ0ZXIgc3VjY2Vzc2Z1bGx5IGNyZWF0aW5nIGJhcmUgbWV0YWwgZXhhbXBsZShieSBzdWNj
ZXNzZnVsIEkgbWVhbiBJJ3ZlIHN0dWNrCj4gcHJvY2Vzc29yIGluIHdoaWxlIGxvb3AgaW4gbWFp
biBmdW5jdGlvbiksIEkgcHJvYmFibHkgc2hvdWxkIGluaXRpYWxpemUgbWVtb3J5Cj4gbWFuYWdl
bWVudCB1bml0IGFuZCBzaW1pbGlhci4gSSd2ZSBmb3VuZCBGcmVlUlRPUyBwcm9qZWN0IG9uIEdp
dGh1YiB3aGVyZQo+IHNpbWlsaWFyIHN0dWZmIHdhcyBkb25lIGZvciBBUk0gQ29ydGV4IEExNS4g
UHJvamVjdCBpcyBkb25lIGZvciBYZW4gNC40Lgo+IFhlbiBGcmVlUlRPUyBwcm9qZWN0OiBodHRw
czovL2dpdGh1Yi5jb20vR2Fsb2lzSW5jL0ZyZWVSVE9TLVhlbi8gLgo+Cj4gMSkgSSdtIHVzaW5n
IDQuNi4gc28gSSBkb24ndCBrbm93IGlmIGNvZGUgZnJvbSAgaXMgZnVsbHkgY29tcGF0aWJsZT8g
KEkgaGFkIHRvCj4gY29tbWVudCBvdXQgbG90IG9mIHRoaW5ncyBiZWNhdXNlIHRoZXkgYmxvY2sg
cHJvZ3JhbSwgcHJpbnRpbmcgZm9yIGV4YW1wbGUpCgpJZiBJIHJlbWVtYmVyIGNvcnJlY3RseSwg
RnJlZVJUT1MgaXMgbm90IHVzaW5nIHRoZSBkZXZpY2UtdHJlZSB0byBmaW5kIAp3aGVyZSByZXNp
ZGUgdGhlIEdJQyBNTUlPIHJlZ2lvbnMgKGFuZCBwb3NzaWJsZSBvdGhlciBNTUlPcykuCgpUaGUg
bWVtb3J5IGxheW91dCBoYXMgYmVlbiByZXdvcmtlZCBiZXR3ZWVuIFhlbiA0LjQgYW5kIFhlbiA0
LjUuIFNvIHlvdSAKd2lsbCBuZWVkIHRvIHVwZGF0ZSB0aGUgYmFzZSBhZGRyZXNzIGhhcmRjb2Rl
ZCBpbiBGcmVlUlRPUy4KCkkgaGF2ZSBDQ2VkLCBKb25hdGhhbiB3aG8gZGlkIHRoZSBGcmVlUlRP
UyBwb3J0IGZvciBYZW4uIEhlIHdpbGwgYmUgYWJsZSAKdG8gZ2l2ZSB5b3UgbW9yZSBkZXRhaWxz
IGFib3V0IGl0LgoKPgo+IDIpIEFkZGl0aW9uYWxseSAsIEkgd291bGQgbGlrZSB0byBpbXBsZW1l
bnQgYmFzaWMgc2VyaWFsIG91dHB1dCB0byBkb20wIGZyb20gbXkKPiBiYXJlIG1ldGFsIGRvbVUu
IFdoYXQgaXMgdGhlIG1pbmltdW0gb25lIHNob3VsZCBkbyBmb3IgaW1wbGVtZW50aW5nIGNvbnNv
bGUKPiBvdXRwdXQ/CgpXZSBwcm92aWRlIGEgUFYgY29uc29sZSBpbnRlcmZhY2UuIFRoZSBiYWNr
ZW5kIGlzIGFscmVhZHkgaW1wbGVtZW50IGluIApkb20wIChhc3N1bWluZyB5b3UgYXJlIHVzaW5n
IExpbnV4KS4gRm9yIHRoZSBmcm9udGVuZCwgeW91IGNhbiBnaXZlIGEgCmxvb2ssIGhvdyBtaW5p
LW9zIFsxXSBoYXMgaW1wbGVtZW50ZWQgaXQuCgo+Cj4gMykgRnVydGhlcm1vcmUsIGFzIHRoaXMg
c2hvdWxkIGJlIGJhcmUgbWV0YWwgYXBwbGljYXRpb24sIEkgd291bGQgbGlrZSBhdCBsZWFzdAo+
IHRvIGJlIGFibGUgdG8gdG9nZ2xlIExFRC4gSG93IGNhbiBpbnRlcmZhY2UgaGFyZHdhcmUgZnJv
bSBkb21VPyBNeSBmaXJzdCBndWVzcwo+IHdvdWxkIGJlIHRvIGRpcmVjdGx5IGFkZHJlc3MgRXh5
bm9zIDU0MjIgR1BJTyByZWdpc3RlcnMgYnV0IEkgZG9uJ3Qga25vdyBpZgo+IHRoYXQgd291bGQg
d29yayBiZWFjYXVzZSBhcHBsaWNhdGlvbiBpcyBydW5uaW5nIG9uIFZDUFUgKHByb2JhYmx5IG5v
dD8/KSA/PwoKQnkgZGVmYXVsdCwgdGhlIGd1ZXN0IGhhcyBubyBhY2Nlc3MgdG8gdGhlIGhhcmR3
YXJlLiBZb3Ugd2lsbCBuZWVkIHRvIApzcGVjaWZ5IGluIHRoZSBjb25maWd1cmUgZmlsZSB0aGUg
bGlzdCBvZiBNTUlPIHJlZ2lvbnMgdGhlIGd1ZXN0IGlzIAphbGxvd2VkIHRvIGFjY2Vzcy4gWW91
IGNhbiBmaW5kIG1vcmUgZGV0YWlscyBhYm91dCBpdCBoZXJlIFsyXS4KCj4KPiBBbnkgYW5zd2Vy
LCBleGFtcGxlIG9mIGltcGxlbWVudGF0aW9uLCBzcGVjaWZpYyBkb2N1bWVudGF0aW9uIG9yIGFk
dmljZSB3b3VsZAo+IGJlIHZlcnkgaGVscGZ1bC4KClRoZXJlIHdlcmUgYSBmZXcgdGFsa3MgdG8g
ZXhwbGFpbiBob3cgdG8gcG9ydCBhbiBPUyBvbiBYRU46CiAgLSAKaHR0cHM6Ly9ldmVudHMubGlu
dXhmb3VuZGF0aW9uLm9yZy9zaXRlcy9ldmVudHMvZmlsZXMvc2xpZGVzL0ZyZWVSVE9TWGVuU3Vt
bWl0XzAucGRmCiAgLSBodHRwOi8vZnIuc2xpZGVzaGFyZS5uZXQveGVuX2NvbV9tZ3IvYnNkY2Fu
LTIwMTUtaG93LXRvLXBvcnQteW91ci1ic2QKCkkgaG9wZSB0aGlzIHdpbGwgaGVscCB5b3UgdG8g
Y3JlYXRlIHlvdXIgYmFyZSBtZXRhbCBhcHAuIEZlZWwgZnJlZSB0byAKc2VuZCBhbiBlLWVtYWls
IGlmIHlvdSBoYXZlIG1vcmUgcXVlc3Rpb25zLgoKUmVnYXJkcywKClsxXSAKaHR0cDovL3hlbmJp
dHMueGVuLm9yZy9naXR3ZWIvP3A9bWluaS1vcy5naXQ7YT10cmVlO2Y9Y29uc29sZTtoPTYxZjUx
NDkwYTFhZWZjMTUxNDhiNmUxZjAxNmQ5ZTYzYmJmZTYxYWE7aGI9SEVBRApbMl0gaHR0cHM6Ly9l
dmVudHMubGludXhmb3VuZGF0aW9uLm9yZy9zaXRlcy9ldmVudHMvZmlsZXMvc2xpZGVzL3RhbGtf
NS5wZGYKCi0tIApKdWxpZW4gR3JhbGwKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fClhlbi1kZXZlbCBtYWlsaW5nIGxpc3QKWGVuLWRldmVsQGxpc3RzLnhl
bi5vcmcKaHR0cDovL2xpc3RzLnhlbi5vcmcveGVuLWRldmVsCg==