added more kernel files for debugging