$ make
CC	exec.o
kernel/exec.c: In function 'do_execve':
kernel/exec.c:223:24: error: initialization of 'char **' from incompatible pointer type 'char (*)[256]' [-Werror=incompatible-pointer-types]
  223 |     char **user_argv = &((char (*)[256])USER_ARGV)[0];
      |                        ^
kernel/exec.c:224:5: error: 'exec_copy_args' accessing 8 bytes in a region of size 0 [-Werror=stringop-overflow=]
  224 |     exec_copy_args(user_argv, stored_args);
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
kernel/exec.c:224:5: note: referencing argument 1 of type 'char **'
kernel/exec.c:57:14: note: in a call to function 'exec_copy_args'
   57 | char *const *exec_copy_args(char *out[], char *const args[]) {
      |              ^~~~~~~~~~~~~~
cc1: all warnings being treated as errors
make: *** [build.mk:387: build-x86_64/kernel/exec.o] Error 1
$