add gpio led uart

hc

2024-05-10 748e4f3d702def1a4bff191e0cf93b6a05340f01

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