Pedro Henrique Penna

@anandbonde are we done with this?

> Looks fine to me. We put these in in the first place so we could debug more easily. Is there some way to retain that functionality without the overhead?...

Closing this as requested by @iyzhang.

Well, we barely use the `info` and `debug` levels. Thus before moving out the `trace` level I would suggest us to get existing messages on their right levels. The idea...

@iyzhang could you help me elaborating on the following topics: - Why would the OS kernel not be passing connections to the applications? - Why would server-side kernel close connections,...

> @ppenna there's been an error in one of the checks. can u explain me why? It is failing to build the documentation: https://github.com/nanvix/microkernel/actions/runs/8546724311/job/23417642453 Have you run it locally? `make...

Closing this PR without merge, as I had to rewrite the whole commit history to solve conflicts. Note: - Before asking for reviews on PRs, rebase it. You can do...

Merging this as it concerns improvements on the CI.

@BrianZill I believe that this is a duplicate to https://github.com/demikernel/demikernel/issues/178. Please add your extra info there and then close this issue.

@BrianZill is this a duplicate? https://github.com/demikernel/demikernel/issues/242