Consumer-ir sensor

Has anyone found documentation for setting up the ir remote sensor on Edge-V board with Linux OS? I tried ir-keytable -t and it reports no sensor found. I tried to find any specs for the sensor driver or library I might need to test ir from Ubuntu server 18.04 LTS. I see drivers for Android, no info for Linux. Is there a consumer_ir library I need to load?
Thank you