HelenOS sources

VendorUnknown     107 kernel/arch/amd64/src/cpu/cpu.c 	CPU->arch.vendor = VendorUnknown;
VendorUnknown     120 kernel/arch/ia32/src/cpu/cpu.c 	CPU->arch.vendor = VendorUnknown;
HelenOS homepage, sources at GitHub