diff --git a/kernel/.gitignore b/kernel/.gitignore index f2ab70073bd40c5a437967a55da52d99d6a1794e..ab4f1090f437e0aaa0395e110169cdc6d37b50d9 100644 --- a/kernel/.gitignore +++ b/kernel/.gitignore @@ -3,3 +3,4 @@ # config_data.h config_data.gz +timeconst.h