libsel4vm: Set vCPU thread name on all archs#104

hlyytine wants to merge 1 commit intoseL4:masterseL4/seL4_projects_libs:masterfrom

tiiuae:upstream/vcpu-name-all-archstiiuae/seL4_projects_libs:upstream/vcpu-name-all-archsCopy head branch name to clipboard