Pedro Henrique Penna

Results 225 issues of Pedro Henrique Penna

## Description When flushing the TLB we should do it in all affected cores.

bug
confirmed

## Description We should have an authentication subsystem for the kernel.

feature

## 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

enhancement

## 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

enhancement

## Description This PR closes https://github.com/microsoft/demikernel/issues/1030.

enhancement

## Context We should enable TCP integration tests for Catpowder LibOS in `demikernel-ci`.

enhancement

## Context We should enable `tcp-close` for Catpowder LibOS is `demikernel_ci`.

enhancement

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.

bug
confirmed

## Description - This PR closes https://github.com/microsoft/demikernel/issues/1280 - This PR closes https://github.com/microsoft/demikernel/issues/1279

enhancement

## 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...

bug
confirmed