tree 19e8e5e02dd159b71130f1030e7a97e5a51e472c
parent 573de8eed70ad017b7847063d1f0d91c31067f85
author Abdulla Kamar <abdulla@google.com> 1522646585 +1000
committer Abdulla Kamar <abdulla@google.com> 1522646895 +1000

[configs] Enable VIRTIO_VSOCKETS

Also SMP is default-enabled on ARM64, so we do not have to explicitly
specify it.

PD-115

Change-Id: I8aa50d510d8ce3e1c000ed4e9433ea0699861dd2