Through general discussioni/forum, I came to know how to convert all the Mikrobus pins as GPIO, with the help of linux command.
Now I need to know the numbers assigned to GPIO pins, so I can do virtual address mapping of the GPIO pins.
For BBB, a youtube describes the GPIO number to each of the GPIO pin.