Register `capget` system call to syscall_shim library.
Signed-off-by: Sergiu Moga <sergiu.moga@protonmail.com>
Reviewed-by: Mocanu Viorel Gabriel <gabi.mocanu98@gmail.com>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Pull-Request: #147
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_USER) += setreuid-2
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_USER) += setregid-2
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_USER) += setgroups-2
+UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_USER) += capget-2
setfsgid
uk_syscall_e_setfsgid
uk_syscall_r_setfsgid
+capget
+uk_syscall_e_capget
+uk_syscall_r_capget
issetugid
initgroups
uk_syscall_e_getpid
return 0;
}
+UK_SYSCALL_R_DEFINE(int, capget, void*, hdrp, void*, datap)
+{
+ return 0;
+}
+
char *getlogin(void)
{
return 0;