size_t dumplogs(char *buffer, size_t len);
This syscall writes the kernel logs to a buffer in memory.
The buffer takes the form of a string in memory of, every log line in the buffer takes exactly 80 characters separated by no newlines or other special characters, thus the user needs to split it themselves for printing.
The length of the buffer is returned in success, and -1 in failure, with
the following errno:
EFAULT: The array pointed by addr is outside accessible memory.