kern: add stubbed KDevicePageTable implementation for systems without iommu

libraries/libvapours/include/vapours/svc/board/generic/svc_device_name.hpp

@@ -0,0 +1,26 @@
+/*
+ * Copyright (c) 2018-2020 Atmosphère-NX
+ *
+ * This program is free software; you can redistribute it and/or modify it
+ * under the terms and conditions of the GNU General Public License
+ * version 2, as published by the Free Software Foundation.
+ *
+ * This program is distributed in the hope it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
+ * more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program.  If not, see <http://www.gnu.org/licenses/>.
+ */
+#pragma once
+#include <vapours/svc/svc_types_common.hpp>
+
+namespace ams::svc::board::generic {
+
+    enum DeviceName {
+        /* If there is no smmu, there are no device names. */
+        DeviceName_Count = 0,
+    };
+
+}

libraries/libvapours/include/vapours/svc/svc_select_device_name.hpp

@@ -26,6 +26,9 @@
 
 #else
 
-    #error "Unknown board for svc::DeviceName"
+    #include <vapours/svc/board/generic/svc_device_name.hpp>
+    namespace ams::svc {
+        using namespace ams::svc::board::generic;
+    }
 
 #endif