Non-standard libc headers

For example, hyperlight-guest has "printf.h", but usually the printf-type functions are defined in "stdio.h". This makes it harder to port existing programs to run with hyperlight's libc, as it requires more manual patching of code. We should aim to make it as frictionless as possible to run existing code inside hyperlight, and one way we can do this is aim to have more standard libc header files

O exemplo trata de printf.h do hyperlight-guest e do stdio.h padrão; comece fazendo um inventário dos headers do guest libc e comparando seus nomes e declarações com o conjunto padrão de C. Considera-se concluído quando a cobertura dos headers padrão solicitados estiver definida e os programas existentes precisarem de menos alterações manuais nos headers para serem executados com Hyperlight's libc.

Escrita pelo modelo de indexação a partir do texto da issue.