Re:Re: Kernel allocated memory not visible in L4Re virtual device despite correct physical RAM mapping

"stephen.yang" <[email protected]> Sun, 26 Apr 2026 13:18:05 +0800 (CST)
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]>
--===============3849115836578021242==
Content-Type: multipart/alternative;
	boundary="----=_Part_12824_131663927.1777180685837"

------=_Part_12824_131663927.1777180685837
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: base64

SGkgQWRhbSwKWW91ciBwb2ludCBpcyB3ZWxsIHRha2VuLiBJdCBpcyBub3QgZmVhc2libGUgdG8g
ZGlzYWJsZSBmb3JjZWQgbWFwcGluZyBzaW1wbHkgYmFzZWQgb24gdGhpcyBleGFtcGxlLgpGaXJz
dCwgdGhpcyBhZGRyZXNzIG9mZnNldCBjYW5ub3QgYmUgb2J0YWluZWQgZGlyZWN0bHksIGFzIG5v
IHJlbGV2YW50IGludGVyZmFjZSBpcyBwcm92aWRlZC4gVGhlIHNhbWUgcGh5c2ljYWwgbWVtb3J5
IHJlZ2lvbiBwZXJjZWl2ZWQgYnkgdGhlIGd1ZXN0IGFuZCB0aGUgaG9zdCBhY3R1YWxseSBjb3Jy
ZXNwb25kcyB0byBkaWZmZXJlbnQgYWRkcmVzc2VzIG9uIGVhY2ggc2lkZS4KU2Vjb25kLCBldmVu
IGlmIHRoaXMgb2Zmc2V0IHdlcmUgYWNjZXNzaWJsZSwgaXQgd291bGQgYWxsb3cgdGhlIHZpcnR1
YWwgZGV2aWNlIHRvIGFjY2VzcyB0aGUgZW50aXJlIHN5c3RlbSBtZW1vcnkgc3BhY2UsIHdoaWNo
IHBvc2VzIHNpZ25pZmljYW50IHNlY3VyaXR5IHJpc2tzIHRvIHRoZSBzeXN0ZW0uClRoZXJlZm9y
ZSwgdGhlIGFwcHJvYWNoIHNob3duIGluIHRoaXMgZXhhbXBsZSBpcyBub3QgdmlhYmxlIGluIHBy
YWN0aWNlLiBOZXZlcnRoZWxlc3MsIHRoaXMgZGlzY3Vzc2lvbiBoYXMgZGVlcGVuZWQgbXkgdW5k
ZXJzdGFuZGluZyBvZiB0aGUgTDRSZSBmcmFtZXdvcmsgYW5kIHZpcnR1YWxpemF0aW9uIHRlY2hu
b2xvZ2llcy4KVGhhbmsgeW91IGFnYWluIGZvciB5b3VyIHJlcGx5LgoKCkJS77yMU3RlcGhlbgoK
CgoKCgoKQXQgMjAyNi0wNC0yMiAxMjo1OToyOSwgIkFkYW0gTGFja29yenluc2tpIiA8YWRhbUBs
NHJlLm9yZz4gd3JvdGU6Cj5IaSBTdGVwaGVuLAo+Cj5ncmVhdCBpdCBpcyB3b3JraW5nIGZvciB5
b3Ugbm93LiBBbGwgdGhlIGFkZHJlc3NlcyBpbiBhIHZpcnR1YWxpemF0aW9uCj5zZXR1cCBjYW4g
YmUgaW5kZWVkIGNvbmZ1c2luZy4gV2l0aCBhIHZpcnR1YWwgZGV2aWNlIHVzaW5nIG1lbW9yeSBv
ZiB0aGUKPlZNLCB0aGUgdmlydHVhbCBkZXZpY2UgbmVlZHMgdG8ga25vdyBhYm91dCB0aGUgZ3Vl
c3QgcGh5c2ljYWwgbWFwcGluZywKPm9yIGJldHRlciB0aGUgbWFwcGluZyBvZiB0aGUgZGF0YXNw
YWNlIGludG8gdGhlIFZNcyBndWVzdCBwaHlzaWNhbAo+c3BhY2UuIC1pIGNhbiBtYWtlIHRoaXMg
YSBiaXQgZWFzaWVyIGJ1dCBpdCdzIHJlYWxseSBqdXN0IGEgd29ya2Fyb3VuZC4KPgo+Cj5BZGFt
Cj4KPk9uIFNhdCBBcHIgMTgsIDIwMjYgYXQgMTQ6MjI6MTYgKzA4MDAsIHN0ZXBoZW4ueWFuZyB3
cm90ZToKPj4gSGkgQWRhbSwKPj4gVGhhbmsgeW91IHZlcnkgbXVjaCBmb3IgeW91ciByZXBseSBh
bmQgc3VnZ2VzdGlvbnMuIEkgaGF2ZSB0cmllZCBtYWtpbmcgY2hhbmdlcyBhY2NvcmRpbmcgdG8g
eW91ciByZWNvbW1lbmRhdGlvbnMsIGJ1dCB0aGV5IGRpZCBub3Qgc2VlbSB0byB0YWtlIGVmZmVj
dC4KPj4gSG93ZXZlciwgSSBoYXZlIGRpc2NvdmVyZWQgc29tZXRoaW5nIGludGVyZXN0aW5nOiAg
d2hlbiBkaXNhYmxpbmcgZm9yY2VkIG1hcHBpbmcgYW5kIHVzaW5nIHRoZSBtZXRob2QgSSBtZW50
aW9uZWQgaW4gbXkgcHJldmlvdXMgZW1haWwsIHRoZSB2aXJ0dWFsIGRldmljZSBpcyBhYmxlIHRv
IHJlYWQgdGhlIGNvbnRlbnQgdGhhdCB0aGUga2VybmVsIHdyaXRlcyB0byB0aGF0IGFkZHJlc3Mg
cmFuZ2UuIAo+PiBBcyBkZXNjcmliZWQgaW4gdGhlIGRvY3VtZW50YXRpb27Co8K6Cj4+IC1pLCAt
LXJhbS1pZGVudGl0eS1tYXBwaW5nCj4+IFdoZW4gc2V0LCB0aGUgb3B0aW9uIGZvcmNlcyB0aGUg
Z3Vlc3QgUkFNIHRvIGJlIG1hcHBlZCB0byBpdHMgY29ycmVzcG9uZGluZyBob3N0LXBoeXNpY2Fs
IGFkZHJlc3Nlcy4KPj4gRmxhZy4gVHJ1ZSBpZiBwcm92aWRlZC4KPj4gCj4+IAo+PiBBZGRpdGlv
bmFsbHksIEkgZm91bmQgdGhhdCBldmVuIHdpdGggZm9yY2VkIG1hcHBpbmcgZW5hYmxlZCwgdGhl
IHBoeXNpY2FsIGFkZHJlc3Mgc2VlbiBieSB0aGUgZ3Vlc3QgaXMgZGlmZmVyZW50IGZyb20gdGhh
dCBzZWVuIGJ5IHRoZSBob3N0LCB3aXRoIGFuIG9mZnNldCBiZXR3ZWVuIHRoZW0uVGhlIGhvc3Qg
c2VlcyB0aGUgYWRkcmVzcyBhcyAweDY2MjAwMDAwLCB3aGlsZSB0aGUgZ3Vlc3Qgc2VlcyBpdCBh
cyAweDY2NDAwMDAwLkJhc2VkIG9uIHRoZSBjb2RlIG1lbnRpb25lZCBlYXJsaWVyLCB0aGlzIGlz
c3VlIGNhbiBiZSByZXNvbHZlZCBzaW1wbHkgYnkgYWNjb3VudGluZyBmb3IgdGhpcyBvZmZzZXQg
ZHVyaW5nIHRoZSBtYXBwaW5nIHByb2Nlc3MuCj4+IEJSLCBTdGVwaGVuCg==
------=_Part_12824_131663927.1777180685837
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: base64

PGRpdiBkYXRhLW50ZXM9Im50ZXNfbWFpbF9ib2R5X3Jvb3QiIHN0eWxlPSJsaW5lLWhlaWdodDox
Ljc7Y29sb3I6IzAwMDAwMDtmb250LXNpemU6MTRweDtmb250LWZhbWlseTpBcmlhbCI+PGRpdiBp
ZD0ic3BuRWRpdG9yQ29udGVudCI+PGRpdiBzdHlsZT0ibWFyZ2luOiAwOyI+SGkgQWRhbSw8L2Rp
dj48ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsiPjxkaXYgc3R5bGU9Im1hcmdpbjogMHB4OyB0ZXh0
LWluZGVudDogMmVtOyI+WW91ciBwb2ludCBpcyB3ZWxsIHRha2VuLiBJdCBpcyBub3QgZmVhc2li
bGUgdG8gZGlzYWJsZSBmb3JjZWQgbWFwcGluZyBzaW1wbHkgYmFzZWQgb24gdGhpcyBleGFtcGxl
LjwvZGl2PjxkaXYgc3R5bGU9Im1hcmdpbjogMHB4OyB0ZXh0LWluZGVudDogMmVtOyI+Rmlyc3Qs
IHRoaXMgYWRkcmVzcyBvZmZzZXQgY2Fubm90IGJlIG9idGFpbmVkIGRpcmVjdGx5LCBhcyBubyBy
ZWxldmFudCBpbnRlcmZhY2UgaXMgcHJvdmlkZWQuIFRoZSBzYW1lIHBoeXNpY2FsIG1lbW9yeSBy
ZWdpb24gcGVyY2VpdmVkIGJ5IHRoZSBndWVzdCBhbmQgdGhlIGhvc3QgYWN0dWFsbHkgY29ycmVz
cG9uZHMgdG8gZGlmZmVyZW50IGFkZHJlc3NlcyBvbiBlYWNoIHNpZGUuPC9kaXY+PGRpdiBzdHls
ZT0ibWFyZ2luOiAwcHg7IHRleHQtaW5kZW50OiAyZW07Ij5TZWNvbmQsIGV2ZW4gaWYgdGhpcyBv
ZmZzZXQgd2VyZSBhY2Nlc3NpYmxlLCBpdCB3b3VsZCBhbGxvdyB0aGUgdmlydHVhbCBkZXZpY2Ug
dG8gYWNjZXNzIHRoZSBlbnRpcmUgc3lzdGVtIG1lbW9yeSBzcGFjZSwgd2hpY2ggcG9zZXMgc2ln
bmlmaWNhbnQgc2VjdXJpdHkgcmlza3MgdG8gdGhlIHN5c3RlbS48L2Rpdj48ZGl2IHN0eWxlPSJt
YXJnaW46IDBweDsgdGV4dC1pbmRlbnQ6IDJlbTsiPlRoZXJlZm9yZSwgdGhlIGFwcHJvYWNoIHNo
b3duIGluIHRoaXMgZXhhbXBsZSBpcyBub3QgdmlhYmxlIGluIHByYWN0aWNlLiBOZXZlcnRoZWxl
c3MsIHRoaXMgZGlzY3Vzc2lvbiBoYXMgZGVlcGVuZWQgbXkgdW5kZXJzdGFuZGluZyBvZiB0aGUg
TDRSZSBmcmFtZXdvcmsgYW5kIHZpcnR1YWxpemF0aW9uIHRlY2hub2xvZ2llcy48L2Rpdj48ZGl2
IHN0eWxlPSJtYXJnaW46IDBweDsgdGV4dC1pbmRlbnQ6IDJlbTsiPlRoYW5rIHlvdSBhZ2FpbiBm
b3IgeW91ciByZXBseS48L2Rpdj48L2Rpdj48ZGl2IHN0eWxlPSJtYXJnaW46IDA7Ij48YnI+PC9k
aXY+PGRpdiBzdHlsZT0ibWFyZ2luOiAwOyI+QlLvvIxTdGVwaGVuPC9kaXY+PGRpdiBzdHlsZT0i
bWFyZ2luOiAwOyI+PGJyPjwvZGl2PjxkaXYgc3R5bGU9Im1hcmdpbjogMDsiPjxicj48L2Rpdj48
L2Rpdj48ZGl2IHN0eWxlPSJwb3NpdGlvbjpyZWxhdGl2ZTt6b29tOjEiPjwvZGl2PjxkaXYgaWQ9
ImRpdk5ldGVhc2VNYWlsQ2FyZCI+PC9kaXY+PGRpdiBzdHlsZT0ibWFyZ2luOiAwOyI+PGJyPjwv
ZGl2PjxwcmU+PGJyPkF0IDIwMjYtMDQtMjIgMTI6NTk6MjksICJBZGFtIExhY2tvcnp5bnNraSIg
Jmx0O2FkYW1AbDRyZS5vcmcmZ3Q7IHdyb3RlOgomZ3Q7SGkgU3RlcGhlbiwKJmd0OwomZ3Q7Z3Jl
YXQgaXQgaXMgd29ya2luZyBmb3IgeW91IG5vdy4gQWxsIHRoZSBhZGRyZXNzZXMgaW4gYSB2aXJ0
dWFsaXphdGlvbgomZ3Q7c2V0dXAgY2FuIGJlIGluZGVlZCBjb25mdXNpbmcuIFdpdGggYSB2aXJ0
dWFsIGRldmljZSB1c2luZyBtZW1vcnkgb2YgdGhlCiZndDtWTSwgdGhlIHZpcnR1YWwgZGV2aWNl
IG5lZWRzIHRvIGtub3cgYWJvdXQgdGhlIGd1ZXN0IHBoeXNpY2FsIG1hcHBpbmcsCiZndDtvciBi
ZXR0ZXIgdGhlIG1hcHBpbmcgb2YgdGhlIGRhdGFzcGFjZSBpbnRvIHRoZSBWTXMgZ3Vlc3QgcGh5
c2ljYWwKJmd0O3NwYWNlLiAtaSBjYW4gbWFrZSB0aGlzIGEgYml0IGVhc2llciBidXQgaXQncyBy
ZWFsbHkganVzdCBhIHdvcmthcm91bmQuCiZndDsKJmd0OwomZ3Q7QWRhbQomZ3Q7CiZndDtPbiBT
YXQgQXByIDE4LCAyMDI2IGF0IDE0OjIyOjE2ICswODAwLCBzdGVwaGVuLnlhbmcgd3JvdGU6CiZn
dDsmZ3Q7IEhpIEFkYW0sCiZndDsmZ3Q7IFRoYW5rIHlvdSB2ZXJ5IG11Y2ggZm9yIHlvdXIgcmVw
bHkgYW5kIHN1Z2dlc3Rpb25zLiBJIGhhdmUgdHJpZWQgbWFraW5nIGNoYW5nZXMgYWNjb3JkaW5n
IHRvIHlvdXIgcmVjb21tZW5kYXRpb25zLCBidXQgdGhleSBkaWQgbm90IHNlZW0gdG8gdGFrZSBl
ZmZlY3QuCiZndDsmZ3Q7IEhvd2V2ZXIsIEkgaGF2ZSBkaXNjb3ZlcmVkIHNvbWV0aGluZyBpbnRl
cmVzdGluZzogIHdoZW4gZGlzYWJsaW5nIGZvcmNlZCBtYXBwaW5nIGFuZCB1c2luZyB0aGUgbWV0
aG9kIEkgbWVudGlvbmVkIGluIG15IHByZXZpb3VzIGVtYWlsLCB0aGUgdmlydHVhbCBkZXZpY2Ug
aXMgYWJsZSB0byByZWFkIHRoZSBjb250ZW50IHRoYXQgdGhlIGtlcm5lbCB3cml0ZXMgdG8gdGhh
dCBhZGRyZXNzIHJhbmdlLiAKJmd0OyZndDsgQXMgZGVzY3JpYmVkIGluIHRoZSBkb2N1bWVudGF0
aW9uwqPCugomZ3Q7Jmd0OyAtaSwgLS1yYW0taWRlbnRpdHktbWFwcGluZwomZ3Q7Jmd0OyBXaGVu
IHNldCwgdGhlIG9wdGlvbiBmb3JjZXMgdGhlIGd1ZXN0IFJBTSB0byBiZSBtYXBwZWQgdG8gaXRz
IGNvcnJlc3BvbmRpbmcgaG9zdC1waHlzaWNhbCBhZGRyZXNzZXMuCiZndDsmZ3Q7IEZsYWcuIFRy
dWUgaWYgcHJvdmlkZWQuCiZndDsmZ3Q7IAomZ3Q7Jmd0OyAKJmd0OyZndDsgQWRkaXRpb25hbGx5
LCBJIGZvdW5kIHRoYXQgZXZlbiB3aXRoIGZvcmNlZCBtYXBwaW5nIGVuYWJsZWQsIHRoZSBwaHlz
aWNhbCBhZGRyZXNzIHNlZW4gYnkgdGhlIGd1ZXN0IGlzIGRpZmZlcmVudCBmcm9tIHRoYXQgc2Vl
biBieSB0aGUgaG9zdCwgd2l0aCBhbiBvZmZzZXQgYmV0d2VlbiB0aGVtLlRoZSBob3N0IHNlZXMg
dGhlIGFkZHJlc3MgYXMgMHg2NjIwMDAwMCwgd2hpbGUgdGhlIGd1ZXN0IHNlZXMgaXQgYXMgMHg2
NjQwMDAwMC5CYXNlZCBvbiB0aGUgY29kZSBtZW50aW9uZWQgZWFybGllciwgdGhpcyBpc3N1ZSBj
YW4gYmUgcmVzb2x2ZWQgc2ltcGx5IGJ5IGFjY291bnRpbmcgZm9yIHRoaXMgb2Zmc2V0IGR1cmlu
ZyB0aGUgbWFwcGluZyBwcm9jZXNzLgomZ3Q7Jmd0OyBCUiwgU3RlcGhlbgo8L3ByZT48L2Rpdj4=

------=_Part_12824_131663927.1777180685837--


--===============3849115836578021242==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
l4-hackers mailing list -- [email protected]
To unsubscribe send an email to [email protected]

--===============3849115836578021242==--