Remove poll/select and eventfd stubs

[marcrittinghaus]

This commit removes the stubs for functions provided by the new posix-socket and posix-event libraries.

This PR is part of a larger group of dependent PRs which must be merged in the following order:

1. Remove poll/select and eventfd stubs #23 (this PR)
2. VFS Eventpoll API unikraft#484
3. Introduce POSIX socket driver microlibrary unikraft#65
4. Switch to lib/posix-socket lib-lwip#17
5. Introduce lib/posix-event unikraft#485

⚠️ Without having merged all of these PRs, network is no longer functional. All PRs should thus be checked and reviewed first and then merged in quick succession⚠️

[craciunoiuc]

All good here 👍

Waiting for more approval before adding the tag

[razvand]

Hi, @marcrittinghaus, this is my first pass. It seems OK, I have some questions:

Why were the STD..._FILENO macro defined in this file.c file in the first place?

What was the initial purpose of including the uk/plat/console.h and uk/print.h header files?

Does it make sense to still have the stdlib.h header file included in file.c?

[marcrittinghaus]

Hi, @marcrittinghaus, this is my first pass. It seems OK, I have some questions:
Why were the STD..._FILENO macro defined in this file.c file in the first place?
What was the initial purpose of including the uk/plat/console.h and uk/print.h header files?

@razvand If you look at the history of the file you see that I once required all these definitions and headers. Over time more and more stubs were removed but these definitions remained.

Does it make sense to still have the stdlib.h header file included in file.c?

Looking at the man page realpath seems to be defined in stdlib.h although this is not the case in newlib. So technically we could remove it. I just kept it due to conformance with the man page.

[razvand]

@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 @marcrittinghaus .

[craciunoiuc]

All good on my side!

Reviewed-by: Cezar Craciunoiu cezar.craciunoiu@gmail.com

[razvand]

Thanks, @marcrittinghaus . This works.

Reviewed-by: Razvan Deaconescu razvan.deaconescu@cs.pub.ro
Approved-by: Razvan Deaconescu razvan.deaconescu@cs.pub.ro