KERNEL_BASE {
	global:
		*;
};

KERNEL_1_ALPHA1 {
} KERNEL_BASE;