add gpio led uart

hc

2024-05-10 748e4f3d702def1a4bff191e0cf93b6a05340f01

 kernel/arch/arm/include/asm/xen/page.h
..
..
@@ -1 +1,6 @@
1
1
 #include <xen/arm/page.h>
2
+
3
+static inline bool xen_kernel_unmapped_at_usr(void)
4
+{
5
+	return false;
6
+}