从电路图中看出，GPIO低电平有效（LED亮）。GPK共有16个端口，每个端口由三个寄存器控制——控制寄存器（GPKCON）、数据寄存器（GPKDAT）和上拉寄存器（GPKPUD），每个寄存器都是32位，如下图所示。

GPK的控制寄存器分为两个，GPKCON0控制0~8好端口，GPKCON1控制9~15号端口。控制寄存器连续的4位控制一个端口，如下图中LED对应的控制寄存器。

Makefile文件如下：

用户空间测试文件为led.c如下，

使用arm-linux编译，友善提供了一个编译led.c的Makefile文件，我们关注其中的install目标，该目标能将编译后的程序安装到系统中。