vmm: Rename SYS_vmm_setup -> SYS_vmm_add_gpcs (XCC)
[akaros.git] / kern / build_id.ld
2016-06-16 Barret RhodenAdd a build-id to the kernel