src/system/kernel/kernel_versions

   1 KERNEL_BASE {
   2         global:
   3                 *;
   4 };
   5
   6 KERNEL_1_ALPHA1 {
   7 } KERNEL_BASE;
   8
   9 KERNEL_1_ALPHA3 {
  10 } KERNEL_1_ALPHA1;
  11
  12 KERNEL_1_ALPHA4 {
  13 } KERNEL_1_ALPHA3;
  14
  15 KERNEL_1_ALPHA5 {
  16 } KERNEL_1_ALPHA4;