file - GCCはファイルが存在しないと言いますが、存在します

Question

そのため、kernel.c ファイルをオブジェクト ファイル (.o) に変換しようとしていますが、このコマンド ライン (gcc -c kernel.c -o kernel.o) を使用しようとすると、ファイル (kernel .c, duh.) は存在しません。それは同じディレクトリにあり、確かに正しいスペルであり、.c ファイルでもあります。何か助けはありますか？