This is the BSP for GamePark's GP32, a single board computer using the Samsung S3C2400 SoC CPU.