Pedro Henrique Penna
Pedro Henrique Penna
## Description When flushing the TLB we should do it in all affected cores.
## Description We should have an authentication subsystem for the kernel.
## Description We should implement `disable_interrupts()` for x86. ## Code Snippet https://github.com/nanvix/microkernel/blob/53d77ca5636287a918ff5c501b6f77070fbb8085/include/nanvix/kernel/hal/cpu.h#L24-L27
## Description We should improve the `reset_stack` assembly macro so that it is generic on the stack size. ## Code Snippet https://github.com/nanvix/microkernel/blob/53d77ca5636287a918ff5c501b6f77070fbb8085/include/asm/x86.S#L38-L44
## Description This PR closes https://github.com/microsoft/demikernel/issues/1030.
## Context We should enable TCP integration tests for Catpowder LibOS in `demikernel-ci`.
## Context We should enable `tcp-close` for Catpowder LibOS is `demikernel_ci`.
Description ------------- Auto-generated bindings use [`improper_ctypes`](https://doc.rust-lang.org/stable/nightly-rustc/rustc_lint/types/static.IMPROPER_CTYPES.html). How to Reproduce ---------------------- 1. Build 2. See warnings Expected Behavior ---------------------- - No dependency on undefined behavior. - No warnings emitted.
## Description - This PR closes https://github.com/microsoft/demikernel/issues/1280 - This PR closes https://github.com/microsoft/demikernel/issues/1279
## Description In the `test_size_demi_sgarray_t()` unit test function, we are relying on the compiler to compute the size of `SockAddr`. This is against the idea of this test: ensuring that...