module libkern [system] {
  module OSCacheControl {
    header "libkern/OSCacheControl.h"
    export *
  }

  module OSDebug {
    header "libkern/OSDebug.h"
    export *
  }

  module OSReturn {
    header "libkern/OSReturn.h"
    export *
  }

  module OSThermalNotification {
    header "libkern/OSThermalNotification.h"
    export *
  }

  module OSTypes {
    header "libkern/OSTypes.h"
    export *
  }

  module OSKextLib {
    header "libkern/OSKextLib.h"
    export *
  }
}