dkarnikis/rpi3bplus-optee

optee os support for raspberry pi 3b+ with hdmi support