Razvan Deaconescu

@marcrittinghaus , maybe it makes sense that you update the PR contents (I think you can push to @nderjung 's brach (`nderjung/posix-socket`), and I will assign a reviewer and assignee...

@marcrittinghaus , also make sure conflicts are resolved.

@marcrittinghaus , all is OK. @craciunoiuc , please approve this PR and then I'll approve it as well. I'll be careful to do the approval in the order signaled by...

@gaulthiergain and one of his students (Terry) are working on this. They aim to provide a PR in early May.

@marcrittinghaus , the moment I add `newlib` to an x86 SMP build, I get the following error: ``` In file included from /home/razvan/projects/unicore/unikraft-my/unikraft.git/lib/ukdebug/include/uk/assert.h:40, from /home/razvan/projects/unicore/unikraft-my/unikraft.git/plat/common/x86/lcpu.c:38: /home/razvan/projects/unicore/unikraft-my/unikraft.git/plat/common/include/x86/apic.h: In function ‘x2apic_send_sipi’: /home/razvan/projects/unicore/unikraft-my/unikraft.git/plat/common/include/x86/apic.h:118:45:...

> > @marcrittinghaus , the moment I add `newlib` to an x86 SMP build, I get the following error: > > ... > > Hi @razvand, thank you for testing...

@marcrittinghaus , I've checked this PR and tested it to the best of my abilities. It looks good to me. @razvanvirtan , @Sairajkodilkar , please approve the PR and leave...

@TrueDoctor , @vladandrew , should this be closed, since cargo support will likely be moved to an outside library?

@michpappas , @razvanvirtan is working on bringing Raspberry-Pi support up-to-date. Once that is done and we what the issues are, we can do a proper solving of the issue.

@michpappas , I presumed atomic operations support would be solved at CPU-level, i.e. ARM64. Would it be specific to R-Pi?