Sometimes people use a RTOS in the SoC. Some people run baremetal OS or NoOS in these SoC's. I myself and developing a baremetal OS for the Samsung S3C2440 and I find it hard to get documents from Samsung. I have to rely on the SBC manufacturer for the documents.