Update TODO.txt
Update kernel_main()