id_kernel.h

#ifndef __ID_KERNEL_H_
#define __ID_KERNEL_H_

/**
 * Print the kernel version
 *
 * @return 0 if OK
 */

int print_kernel_version(void);

int check_kernel_timekeeping(void);

#endif /* __ID_KERNEL_H_ */