A question about page tables

[zll600]

I have a question about "scheduler() should use kernel_pagetable when no process is running" in the second section.

[Miigon]

Please provide more information regarding your question.

• which branch? which file? which line of code? what's the code around it?
• what's your question about it?
• what do you think about this question? what's your assumption and your prior knowledge? what's your understanding and reasoning?

Preferably, comment below one of the blog posts of the same topic/lab: https://blog.miigon.net/categories/mit6-s081/

[zll600]

I put my question in the comments. Thank you.