Kernel source for the Samsung N1 board