PARAMETER VERSION = 2.2.0

BEGIN OS
 PARAMETER OS_NAME = xilkernel
 PARAMETER STDIN =  *
 PARAMETER STDOUT = *
 PARAMETER SYSTMR_SPEC = true
 PARAMETER SYSTMR_DEV = *
 PARAMETER SYSINTC_SPEC = *
END