Pedro Henrique Penna

Description -------------- Introduce compile-time asserts to check if a kernel header is being accidentally included in user code.

**Description** - [ ] `intcl()`: controls the behavior of an interrupt - [ ] `intwait()`: waits for the delivery of an interrupt - [ ] `intreturn()`: returns from an interrupt...

# Description Aiming at performance improvements, we should align shared data structures at cache boundaries.

# Description We should flush the page cache at exit.

# Description We should write the following regressions tests for the inode interface of the MINIX file system. ## API Tests - [x] Alloc/Free an Inode (81aab4c24103a796784f9616dbdad7b82c398cae) - [x] Read/Write...

# Description We should provide the `ftok()` function, which generates an IPC key for system V IPC primitives. # References - https://pubs.opengroup.org/onlinepubs/9699919799/functions/ftok.html

# Description We should introduce basic support for retrieving file statistics. In a nutshell we should introduce a `nanvix_stat()` system call that would collect information such as size and access...

# Description The following unit tests should be introduced for the Remote Memory Manager. ## API Tests - [x] Allocate and Free a Remote Memory Block - [x] Get and...

# Description We should introduce support for `SEM_UNDO` flag in semaphores. # References - https://pubs.opengroup.org/onlinepubs/9699919799/functions/semop.html#

# Description Currently, we do not feature full support for `IPC_NOWAIT` flag in message queues. More precisely, if this flag is not specified, the blocking behavior is not supported. #...