Commit 407e3f6e authored Mar 10, 2025 by Ramon Nou

Merge branch 'rnou/1-use-getpid-syscall-option' into 'main'

Resolve "Use getpid syscall (option)"

Closes #1

See merge request !1