Function read_kernel_string

src/vfs/sys_module.cpp:39–46

Read a NUL-terminated string from a kernel VA via the kernel page table. Returns empty string if the read fails or the area is unmapped.

// Read a NUL-terminated string from a kernel VA via the kernel page table.
// Returns empty string if the read fails or the area is unmapped.
std::string read_kernel_string(const Engine& eng, VAddr va, std::size_t maxlen) {
    if (!eng.kernel().dtb_validated) return {};
    std::vector<char> buf(maxlen, 0);
    eng.kernel_pt().read(va, buf.data(), maxlen);
    std::size_t n = 0;
    while (n < maxlen && buf[n]) ++n;
    return std::string(buf.data(), n);
}

ByteBuf gen_banner_via_kernel_pt(const Engine& eng) {
    const auto* sym = eng.isf().find_symbol("linux_banner");