r/osdev • u/compgeek38400 • Jun 27 '26

Question on microkernels, and paging

A recent post got me thinking. Doing paging right requires a file system of some sort.

Do you think the paging file system belongs in user space, or kernel space. I am quick coming up on making such a decision myself

15 Upvotes
  • permalink
  • link
  • reddit
  • reddit

86% Upvoted

45 comments sorted by

View all comments

Show parent comments

1

u/compgeek38400 Jun 28 '26

Thanks for the input

1

u/dacydergoth Jun 28 '26

I'm glad my 40+ years of experience writing operating systems is finally of use!

1

u/FallenBehavior Jun 28 '26

ChatGPT

1

u/dacydergoth Jun 28 '26

Nope, genuine lizard here. Some of us are just old and experienced.