uint64_t read(fd_t fd, void *buffer, uint64_t count)
System call for reading from files.
static void join_args(char *buffer, uint64_t size, int argc, char *argv[])
static uint64_t cmdline_read(char *buffer, uint64_t size)
int execute_command(const char *cmdline)