Separate names with a comma.
Same here but afaik Thales is not supporting Sentinel HL drivers for ARM platform...