Hi Shubham,
It is common practice is to have a board file which contains the pin-muxing and peripheral power-up. Any peripheral configuration is usually done in a peripheral driver; things such as baudrates, interrupts, etc.
Have you had the opportunity to try TI-RTOS for TivaC? TI-RTOS has SYS/BIOS as its kernel. It supports several evaluation boards, provides peripheral drivers, and examples on how to use/configure them. There are also board files can be used as guides.
You can download the latest release here.
Thanks,
-- Emmanuel