trusty_gatekeeper: Specify port to use for storage session

Change-Id: Icd1fdcbafc42963f23867a6b73929361c1240901
1 file changed
tree: 8c5b98bf0e1ab9f5fb78cdfe963742e209716880
  1. ipc/
  2. LICENSE
  3. manifest.c
  4. rules.mk
  5. trusty_gatekeeper.cpp
  6. trusty_gatekeeper.h