search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
79 stars 42 forks source link

Add notes about the budget and interrupts #36

Closed podhrmic closed 12 months ago

podhrmic commented 1 year ago

Clarifications.

Ivan-Velickovic commented 1 year ago

Just a general question I have is how did you interpret seL4-specific terminology such as "scheduling context" which isn't really explained in the seL4CP manual? Did you refer to the seL4 manual or are you already familiar with the concepts from previous seL4 experience?

podhrmic commented 1 year ago

Just a general question I have is how did you interpret seL4-specific terminology such as "scheduling context" which isn't really explained in the seL4CP manual? Did you refer to the seL4 manual or are you already familiar with the concepts from previous seL4 experience?

I read the seL4 manual, and have some previous experience, but I am by no means an seL4 expert.

Ivan-Velickovic commented 1 year ago

Just a general question I have is how did you interpret seL4-specific terminology such as "scheduling context" which isn't really explained in the seL4CP manual? Did you refer to the seL4 manual or are you already familiar with the concepts from previous seL4 experience?

I read the seL4 manual, and have some previous experience, but I am by no means an seL4 expert.

Cool, was just wondering. We should probably link to the seL4 manual or explain what a scheduling context is in the seL4CP manual but that can be done in another PR.

podhrmic commented 12 months ago

@Ivan-Velickovic I am happy to close this PR - the existing documentation and tutorial is IMHO pretty good, if there is a need to further explain scheduling, perhaps a separate dedicated chapter with examples is better.

Ivan-Velickovic commented 12 months ago

There are some useful changes here, I just think the code example is not necessary. You can close the PR and I can take your patch and adjust in a new PR, if that's okay with you.