| commit | b12c1940b85d2701a58aa0527c11919bcfab5953 | [log] [tgz] |
|---|---|---|
| author | Michael Ryleev <gmar@google.com> | Mon May 14 16:08:27 2018 -0700 |
| committer | Michael Ryleev <gmar@google.com> | Thu Dec 13 12:32:25 2018 -0800 |
| tree | 769db16437807026c98bfbe4b007c50f5175f8dc | |
| parent | a1741e6b7198aeb86dbc5bd1c7c5988b0babf39c [diff] |
[lib][trusty][ipc] Rename tipc_dev to tipc_dev_virtio Add an option to disable standard virtio based TIPC device is an alternative TIPC device implementation is required. Change-Id: Ib215ce5c5365f8deb34032b62d3f6ef2d355cade