ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-07 19:34:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4: provide ACPI infos by 'platform_info' ROM

Browse Source 
Issue #2242
This commit is contained in:
Alexander Boettcher 2017-08-11 18:26:29 +02:00 committed by Christian Helmuth
parent a8227e80af
commit 4de2e52b34
2 changed files with 57 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
repos/base-sel4/src/core/include/map_local.h
View File

@ -52,9 +52,11 @@ namespace Genode {
/**
* Flush memory mappings from core-local virtual address range
*/
inline bool unmap_local(addr_t virt_addr, size_t num_pages)
inline bool unmap_local(addr_t virt_addr, size_t num_pages,
Platform * platform = nullptr)
{
platform_specific()->core_vm_space().unmap(virt_addr, num_pages);
platform = platform ? platform : platform_specific();
platform->core_vm_space().unmap(virt_addr, num_pages);
return true;
}
}

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

@ -16,6 +16,7 @@
#include <base/thread.h>
#include <base/log.h>
#include <trace/source_registry.h>
#include <util/xml_generator.h>
/* core includes */
#include <boot_modules.h>
@ -347,6 +348,58 @@ void Platform::_init_rom_modules()
_rom_fs.insert(rom_module);
}
/* export x86 platform specific infos via 'platform_info' ROM */
unsigned const pages = 1;
addr_t const rom_size = pages << get_page_size_log2();
void *virt_ptr = nullptr;
const char *rom_name = "platform_info";
addr_t const phys_addr = Untyped_memory::alloc_page(*ram_alloc());
Untyped_memory::convert_to_page_frames(phys_addr, pages);
if (!region_alloc()->alloc(rom_size, &virt_ptr)) {
error("could not setup platform_info ROM - region allocation error");
Untyped_memory::free_page(*ram_alloc(), phys_addr);
return;
}
addr_t const virt_addr = reinterpret_cast<addr_t>(virt_ptr);
if (!map_local(phys_addr, virt_addr, pages, this)) {
error("could not setup platform_info ROM - map error");
region_alloc()->free(virt_ptr);
Untyped_memory::free_page(*ram_alloc(), phys_addr);
return;
}
Genode::Xml_generator xml(reinterpret_cast<char *>(virt_addr),
rom_size, rom_name, [&] ()
{
xml.node("acpi", [&] () {
uint32_t const revision = bi.archInfo.revision;
uint32_t const rsdt = bi.archInfo.rsdt;
uint64_t const xsdt = bi.archInfo.xsdt;
if (revision && (rsdt || xsdt)) {
xml.attribute("revision", revision);
if (rsdt)
xml.attribute("rsdt", String<32>(Hex(rsdt)));
if (xsdt)
xml.attribute("xsdt", String<32>(Hex(xsdt)));
}
});
});
if (!unmap_local(virt_addr, pages, this)) {
error("could not setup platform_info ROM - unmap error");
return;
}
region_alloc()->free(virt_ptr);
_rom_fs.insert(
new (core_mem_alloc()) Rom_module(phys_addr, rom_size, rom_name));
}