vm fault on data at address 0 with status 0x5 about sel4 HOT 4 CLOSED

my app:

#include <sel4/sel4.h>
#include "printf.h"

void _putc(char c) {
  seL4_DebugPutChar(c);
  //sbi_console_putchar(c);
}

int main(void)
{
  printf("hello world!\n");
  return 0;
}

from sel4.

Solved it. See Findmusllibc.cmake

from sel4.

Glad you resolved your problem and thanks for telling others how you fixed it.

However, like I said before, issues here should be about the seL4 kernel. Opening issues for user space problems encountered during development is not really appropriate. The exception is if you encounter problems with running unmodified sel4test or sel4bench, or if you suspect it is an actual kernel problem (e.g. it used to work but after an update it stopped working).

from sel4.

Thank you for the note. I'll rememer that.

from sel4.