random: Fix behavior of kernel option "-rs".
[pintos-anon] / filesys / syn-read.h
1 #define BUF_SIZE 1024
2 static const char filename[] = "data";