BIOS for Samsung S3C4510B based boards. You can use it to setup CPU/ROM/SDRAM/EXTIO, manage and burn flash, load OS kernel and pass arguments to OS kernel (now only uClinux).
