KERNEL_BASE {
	global:
		*;
};

KERNEL_1_ALPHA1 {
} KERNEL_BASE;

KERNEL_1_ALPHA3 {
} KERNEL_1_ALPHA1;

KERNEL_1_ALPHA4 {
} KERNEL_1_ALPHA3;

KERNEL_1_ALPHA5 {
} KERNEL_1_ALPHA4;