For example, if users want to find a parameter value of a lib, os, or .
stdout = domain_object.get_config(option = 'os', param = 'standalone_stdout')
stdout['value']
Users can use the same API to get a parameter on a specific library
ticktimer = domain_object.get_config(option = 'lib', lib_name = 'xiltimer', param = 'XILTIMER_en_interval_timer')
ticktimer['value']