Pedro Henrique Penna

## Context We should enable TCP integration tests in `demikernel_ci` for the following LibOSes: - [x] https://github.com/demikernel/demikernel/issues/609 - [x] https://github.com/demikernel/demikernel/issues/610 - [ ] https://github.com/demikernel/demikernel/issues/613 - [ ] https://github.com/demikernel/demikernel/issues/611 - [...

## Context We should enable `tcp-echo` in `demikernel_ci` for the following LibOSes: - [x] https://github.com/demikernel/demikernel/issues/598 - [x] https://github.com/demikernel/demikernel/issues/599 - [ ] https://github.com/demikernel/demikernel/issues/600 - [ ] https://github.com/demikernel/demikernel/issues/601 - [x] https://github.com/demikernel/demikernel/issues/602

[build] Drop Dependency on Some Third Party Packages

1

## Context We are using several third-party packages for performing trivial work and introducing dependencies for that reason is better to be avoided. ## Proposed Solution - We should drop...

## Description We are currently missing the C format checking on Windows build system. https://github.com/demikernel/demikernel/blob/c2c867505a07dc4ac3831fc03d2163202997a0e2/windows.mk#L181-L186 ## Expected Behavior The Windows build system should support C formatting checking as the Linux...

## Context We have recently introduced Catnap for Windows (Catnapw), thus we should integrate it with `demikernel-ci`. ## Proposed Solution - [ ] Support build pipeline. - [ ] Support...

## Context We should enable `tcp-close` in `demikernel_ci` for the following LibOSes: - [x] https://github.com/demikernel/demikernel/issues/603 - [x] https://github.com/demikernel/demikernel/issues/604 - [x] https://github.com/demikernel/demikernel/issues/605 - [ ] https://github.com/demikernel/demikernel/issues/607 - [ ] https://github.com/demikernel/demikernel/issues/606

## Description - [x] https://github.com/nanvix/microkernel/issues/383 - [x] https://github.com/nanvix/microkernel/issues/406 - [ ] Other task

## Description We are missing the following semantic checks on `upage_link`: - [ ] Check for bad page directory ## Code Snippet https://github.com/nanvix/microkernel/blob/53d77ca5636287a918ff5c501b6f77070fbb8085/src/kernel/mm/upool/mod.c#L595-L640

## Description We are missing the following semantic checks on `upage_unmap`: - [ ] Check for bad page directory ## Code Snippet https://github.com/nanvix/microkernel/blob/53d77ca5636287a918ff5c501b6f77070fbb8085/src/kernel/mm/upool/mod.c#L443-L499

## Description We are missing the following semantic checks on `upage_map`: - [ ] Check for bad page directory - [ ] Check for bad page frame ## Code Snippet...