1SMC service
2===========
3
4SMC service is a dumb pipe that routes Trusty userspace calls to SMC back and
5forth. SMC service can be used to implement userspace drivers.
6
7TIPC Interface
8==============
9
10SMC service provides userspace a simple synchronous protocol over TIPC:
11- Service can only process one message at a time.
12- Clients must process the response before sending another message.
13
14Messages sent to and received from SMC service are represented by
15struct smc_msg.
16
17All necessary data structure(s) for both kernel and userspace are declared in:
18- trusty/user/base/interface/smc/include/interface/smc/smc.h
19