2 Commits

Author	SHA1	Message	Date
NAKAMURA Gou	a4a806bef7	support vsyscall_getcpu() vsyscall. refs #385 ... This version simply calls getcpu() system call, so that it's not fast.	2015-02-10 18:35:48 +09:00
Balazs Gerofi	5f095b3952	McKernel IHK SMP-x86 support (build system and config files)	2014-12-25 11:03:04 +09:00