add gpio led uart

hc

2024-05-10 748e4f3d702def1a4bff191e0cf93b6a05340f01

 kernel/arch/powerpc/sysdev/cpm2.c
..
..
@@ -39,7 +39,6 @@
39
39
 #include <asm/irq.h>
40
40
 #include <asm/mpc8260.h>
41
41
 #include <asm/page.h>
42
-#include <asm/pgtable.h>
43
42
 #include <asm/cpm2.h>
44
43
 #include <asm/rheap.h>
45
44
 #include <asm/fs_pd.h>