ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

base: add affinity space info to platform info 

Issue #3599
This commit is contained in:
Alexander Boettcher 2020-01-14 14:49:00 +01:00 committed by Christian Helmuth
parent 72f5f9d133
commit 7b964fa700
4 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/base-foc/src/core/platform.cc
View File

@ -495,6 +495,10 @@ Platform::Platform() :
xml.node("hardware", [&] () { xml.node("hardware", [&] () {
_setup_platform_info(xml, sigma0_map_kip()); _setup_platform_info(xml, sigma0_map_kip());
}); });
xml.node("affinity-space", [&] () {
xml.attribute("width", affinity_space().width());
xml.attribute("height", affinity_space().height());
});
}); });
_rom_fs.insert(new (core_mem_alloc()) Rom_module(phys_addr, size, _rom_fs.insert(new (core_mem_alloc()) Rom_module(phys_addr, size,

4
repos/base-hw/src/core/platform.cc
View File

@ -130,6 +130,10 @@ void Platform::_init_platform_info()
{ {
xml.node("kernel", [&] () { xml.attribute("name", "hw"); }); xml.node("kernel", [&] () { xml.attribute("name", "hw"); });
_init_additional_platform_info(xml); _init_additional_platform_info(xml);
xml.node("affinity-space", [&] () {
xml.attribute("width", affinity_space().width());
xml.attribute("height", affinity_space().height());
});
}); });
if (!unmap_local(virt_addr, pages)) { if (!unmap_local(virt_addr, pages)) {

4
repos/base-nova/src/core/platform.cc
View File

@ -705,6 +705,10 @@ Platform::Platform()
if (xsdt) if (xsdt)
xml.attribute("xsdt", String<32>(Hex(xsdt))); xml.attribute("xsdt", String<32>(Hex(xsdt)));
}); });
xml.node("affinity-space", [&] () {
xml.attribute("width", _cpus.width());
xml.attribute("height", _cpus.height());
});
xml.node("boot", [&] () { xml.node("boot", [&] () {
if (!boot_fb) if (!boot_fb)
return; return;

4
repos/base-sel4/src/core/platform.cc
View File

@ -417,6 +417,10 @@ void Platform::_init_rom_modules()
xml.attribute("freq_khz" , boot_freq->freq_mhz * 1000UL); xml.attribute("freq_khz" , boot_freq->freq_mhz * 1000UL);
}); });
}); });
xml.node("affinity-space", [&] () {
xml.attribute("width", affinity_space().width());
xml.attribute("height", affinity_space().height());
});
} }
if (element->id == SEL4_BOOTINFO_HEADER_X86_FRAMEBUFFER) { if (element->id == SEL4_BOOTINFO_HEADER_X86_FRAMEBUFFER) {