As learning XV6's spinlock,I thought a problem and don't find answer in google. In spinlock, pushcli() and popcli() used to insure interrupt handler run currently: void pushcli(void) { int eflags; ...

Now I am trying to access makefile variable in my user program in xv6. In other linux system, it can be easily achieved by doing that in makefile, define gcc -D MYVARIABLE=1 ... in my linux user prog...

Here is my code for user/sleep.c: #include "kernel/types.h" #include "user/user.h" int main(int argc, char *argv[]) { if (argc < 2) { printf(&qu...

While implementing lazy page allocation in xv6, I noticed while tracing back through gdb that the copyout function needs to be changed in order to make sure it is not writing to a page table entry tha...