| Server IP : 82.208.35.60 / Your IP : 216.73.216.89 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/sysutils/opensbi/files/ |
Upload File : |
--- platform/generic/platform.c.orig 2022-06-25 03:42:10 UTC +++ platform/generic/platform.c @@ -24,6 +24,8 @@ #include <sbi_utils/ipi/fdt_ipi.h> #include <sbi_utils/reset/fdt_reset.h> +int need_pmp_war = FALSE; + /* List of platform override modules generated at compile time */ extern const struct platform_override *platform_override_modules[]; extern unsigned long platform_override_modules_size;