BRFS.C 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684
  1. // Test implementation of Bart's RAM File System (BRFS)
  2. /*
  3. General Idea:
  4. - HDD for the average home user was <100MB until after 1990
  5. - SPI NOR Flash provides around the same amount of storage, with very little wear
  6. - Very fast reads in QSPI mode
  7. - However, writes are extremely slow and need to be performed in pages of 256 bytes (64 words)
  8. - FPGC has 64MiB RAM, which is a lot even for 32 bit addressable words
  9. - 32MiB is already more than enough for the FPGC in its current form
  10. - Use the other 32MiB as a fully in RAM filesystem
  11. - That initializes from SPI flash and writes back to Flash at a chosen time
  12. */
  13. /*
  14. Implementation Idea:
  15. - Use superblock for info/addresses, no hard-coded sizes!
  16. - Allows for different storage media, easier testing on tiny size, and more future proof
  17. */
  18. /*
  19. Implementation Details:
  20. --------------------------------------------------
  21. | superblock | FAT | Data+Dir blocks (same size) |
  22. --------------------------------------------------
  23. 16 word superblock:
  24. - (1) total blocks
  25. - (1) bytes per block
  26. - (10) label [1 char per word]
  27. - (1) brfs version
  28. - (3) reserved
  29. 8 word Dir entries:
  30. - (4) filename.ext [4 chars per word -> 16 chars total]
  31. - (1) modify date [to be implemented when RTC]
  32. - (1) flags [max 32 flags, from right to left: directory, hidden]
  33. - (1) 1st FAT idx
  34. - (1) file size [in words, not bytes]
  35. */
  36. /*
  37. Implementation Notes:
  38. - Current directory is managed by the application/OS, not the FS. Directory (or file) can be checked to exist using stat()
  39. - Updating a file: might be better to delete and create a new one, but this is better be done by the application instead of the FS
  40. - Write should start writing at the cursor and jump to the next block (also create in FAT) if the end is reached
  41. - No delete/backspace, only delete entire file or overwrite data
  42. */
  43. /*
  44. Required operations:
  45. - [x] Format
  46. - [x] Create directory
  47. - [x] Create file
  48. - [] Open file (not a dir!) (allow multiple files open at once)
  49. - [] Close file (update dir entry and check/update all FAT entries)
  50. - [] Stat (returns dir entry)
  51. - [] Set cursor
  52. - [] Get cursor
  53. - [] Read file
  54. - [] Write file
  55. - [] Delete entire file (deleting part of file is not a thing)
  56. - [x] List directory
  57. */
  58. #define word char
  59. #include "LIB/MATH.C"
  60. #include "LIB/SYS.C"
  61. #include "LIB/STDLIB.C"
  62. #define BRFS_RAM_STORAGE_ADDR 0x600000
  63. #define MAX_PATH_LENGTH 127
  64. #define MAX_OPEN_FILES 4 // Can be set higher, but 4 is good for testing
  65. // Length of structs, should not be changed
  66. #define SUPERBLOCK_SIZE 16
  67. #define DIR_ENTRY_SIZE 8
  68. word *brfs_ram_storage = (word*) BRFS_RAM_STORAGE_ADDR; // RAM storage of file system
  69. // Variables for open files
  70. word brfs_cursors[MAX_OPEN_FILES];
  71. word brfs_file_pointers[MAX_OPEN_FILES];
  72. // 16 words long
  73. struct brfs_superblock
  74. {
  75. word total_blocks;
  76. word bytes_per_block;
  77. word label[10]; // 1 char per word
  78. word brfs_version;
  79. word reserved[3];
  80. };
  81. // 8 words long
  82. struct brfs_dir_entry
  83. {
  84. word filename[4]; // 4 chars per word
  85. word modify_date; // TBD when RTC added to FPGC
  86. word flags; // 32 flags, from right to left: directory, hidden
  87. word fat_idx; // idx of first FAT block
  88. word filesize; // file size in words, not bytes
  89. };
  90. /**
  91. * Create a hexdump like dump of a section of memory
  92. * addr: address of the section
  93. * len: length of the section in words
  94. * linesize: number of words per line to print
  95. */
  96. void brfs_dump_section(word* addr, word len, word linesize)
  97. {
  98. char buf[16];
  99. word i;
  100. for (i = 0; i < len; i++)
  101. {
  102. itoah(addr[i], buf);
  103. if (strlen(buf+2) == 1)
  104. uprintc('0');
  105. uprint(buf+2);
  106. uprintc(' ');
  107. // newline every linesize words
  108. // also print last linesize words as chars if alphanum
  109. if (i != 0 && MATH_modU(i+1, linesize) == 0)
  110. {
  111. uprint(" ");
  112. word j;
  113. for (j = i - (linesize-1); j < i+1; j++)
  114. {
  115. if (isalnum(addr[j]) || addr[j] == ' ')
  116. uprintc(addr[j]);
  117. else
  118. uprintc('.');
  119. }
  120. uprintc('\n');
  121. }
  122. }
  123. }
  124. /**
  125. * Create a raw filesystem dump over UART
  126. * fatsize: size of the FAT table in words
  127. * datasize: size of the data section in words
  128. */
  129. void brfs_dump(word fatsize, word datasize)
  130. {
  131. // Superblock dump
  132. uprintln("Superblock:");
  133. brfs_dump_section(brfs_ram_storage, SUPERBLOCK_SIZE, 16);
  134. // FAT dump
  135. uprintln("\nFAT:");
  136. brfs_dump_section(brfs_ram_storage+SUPERBLOCK_SIZE, fatsize, 8);
  137. // Datablock dump
  138. uprintln("\nData:");
  139. brfs_dump_section(brfs_ram_storage+SUPERBLOCK_SIZE+fatsize, datasize, 32);
  140. uprintln("\nFile pointers and cursors:");
  141. word i;
  142. for (i = 0; i < MAX_OPEN_FILES; i++)
  143. {
  144. uprint("File pointer ");
  145. uprintDec(i);
  146. uprint(": ");
  147. uprintDec(brfs_file_pointers[i]);
  148. uprint(" Cursor: ");
  149. uprintDec(brfs_cursors[i]);
  150. uprintc('\n');
  151. }
  152. }
  153. /**
  154. * Return the FAT index of a directory, or -1 if not found
  155. * dir_path: full path of the directory
  156. */
  157. word brfs_get_fat_idx_of_dir(char* dir_path)
  158. {
  159. // Check length of path
  160. if (strlen(dir_path) > MAX_PATH_LENGTH)
  161. {
  162. uprintln("Path too long!");
  163. return -1;
  164. }
  165. // Start with root directory
  166. word current_dir_fat_idx = 0;
  167. // Check if root directory is requested
  168. if (strcmp(dir_path, "/") == 1)
  169. {
  170. return current_dir_fat_idx;
  171. }
  172. // Copy dir_path, size + 1 for null terminator
  173. // Since strtok modifies the string
  174. char dir_path_copy[MAX_PATH_LENGTH+1];
  175. strcpy(dir_path_copy, dir_path);
  176. struct brfs_superblock* superblock = (struct brfs_superblock*) brfs_ram_storage;
  177. word* brfs_data_block_addr = brfs_ram_storage + SUPERBLOCK_SIZE + superblock->total_blocks;
  178. word dir_entries_max = superblock->bytes_per_block / sizeof(struct brfs_dir_entry);
  179. // Split path by '/' and traverse directories
  180. char* token = strtok(dir_path_copy, "/");
  181. while (token != (word*)-1)
  182. {
  183. // Find token in current directory
  184. word* dir_addr = brfs_data_block_addr + (current_dir_fat_idx * superblock->bytes_per_block);
  185. word found_dir = 0; // Keep track if token is found in current directory
  186. word i;
  187. for (i = 0; i < dir_entries_max; i++)
  188. {
  189. struct brfs_dir_entry* dir_entry = (struct brfs_dir_entry*) (dir_addr + (i * sizeof(struct brfs_dir_entry)));
  190. if (dir_entry->filename[0] != 0)
  191. {
  192. char decompressed_filename[16];
  193. strdecompress(decompressed_filename, (char*)&(dir_entry->filename));
  194. // Also check for directory flag
  195. if (strcmp(decompressed_filename, token) == 1 && dir_entry->flags == 1)
  196. {
  197. // Found token in current directory
  198. // Set current directory to token's FAT index
  199. current_dir_fat_idx = dir_entry->fat_idx;
  200. found_dir = 1;
  201. break;
  202. }
  203. }
  204. }
  205. // If token not found in current directory, return -1
  206. if (!found_dir)
  207. {
  208. uprint("Directory ");
  209. uprint(dir_path);
  210. uprintln(" not found!");
  211. return -1;
  212. }
  213. token = strtok((word*)-1, "/");
  214. }
  215. return current_dir_fat_idx;
  216. }
  217. /**
  218. * Given the address of the FAT table and the number of blocks, find the next free block
  219. * Returns -1 if no free block is found
  220. * fat_addr: address of the FAT table
  221. * blocks: number of blocks in the FAT table
  222. */
  223. word brfs_find_next_free_block(word* fat_addr, word blocks)
  224. {
  225. word i = 0;
  226. word* fat_ptr = fat_addr;
  227. while (i < blocks)
  228. {
  229. if (*fat_ptr == 0)
  230. {
  231. return i;
  232. }
  233. fat_ptr++;
  234. i++;
  235. }
  236. return -1;
  237. }
  238. /**
  239. * Given the address of a directory data block and the maximum number of entries, find the next free directory entry
  240. * Returns -1 if no free entry is found
  241. * dir_addr: address of the directory data block (not the FAT idx)
  242. * dir_entries_max: maximum number of entries in the directory
  243. */
  244. word brfs_find_next_free_dir_entry(word* dir_addr, word dir_entries_max)
  245. {
  246. word i = 0;
  247. word* dir_ptr = dir_addr;
  248. while (i < dir_entries_max)
  249. {
  250. if (*dir_ptr == 0)
  251. {
  252. return i;
  253. }
  254. dir_ptr += sizeof(struct brfs_dir_entry);
  255. i++;
  256. }
  257. return -1;
  258. }
  259. /**
  260. * Create a single directory entry
  261. * dir_entry: pointer to the directory entry to be created
  262. * filename: name of the file, max 16 chars and uncompressed
  263. * fat_idx: index of the first FAT block of the file/directory
  264. * filesize: size of the file in words
  265. * flags: flags of the file/directory
  266. */
  267. void brfs_create_single_dir_entry(struct brfs_dir_entry* dir_entry, char* filename, word fat_idx, word filesize, word flags)
  268. {
  269. // Initialize to 0
  270. memset((char*)dir_entry, 0, sizeof(*dir_entry));
  271. // Set filename
  272. char compressed_filename[4] = {0,0,0,0};
  273. strcompress(compressed_filename, filename);
  274. memcpy((char*)&(dir_entry->filename), compressed_filename, sizeof(compressed_filename));
  275. // Set other fields
  276. dir_entry->fat_idx = fat_idx;
  277. dir_entry->flags = flags;
  278. dir_entry->filesize = filesize;
  279. }
  280. /**
  281. * Initialize a directory with . and .. entries
  282. * dir_addr: address of the directory data block
  283. * dir_entries_max: maximum number of entries in the directory
  284. * dir_fat_idx: index of the FAT block of the directory
  285. * parent_fat_idx: index of the FAT block of the parent directory
  286. */
  287. void brfs_init_directory(word* dir_addr, word dir_entries_max, word dir_fat_idx, word parent_fat_idx)
  288. {
  289. // Create . entry
  290. struct brfs_dir_entry dir_entry;
  291. brfs_create_single_dir_entry(&dir_entry, ".", dir_fat_idx, dir_entries_max*sizeof(struct brfs_dir_entry), 1);
  292. // Copy to first data entry
  293. memcpy(dir_addr, (char*)&dir_entry, sizeof(dir_entry));
  294. // Create .. entry
  295. brfs_create_single_dir_entry(&dir_entry, "..", parent_fat_idx, dir_entries_max*sizeof(struct brfs_dir_entry), 1);
  296. // Copy to second data entry
  297. memcpy(dir_addr+sizeof(dir_entry), (char*)&dir_entry, sizeof(dir_entry));
  298. // Set FAT table
  299. brfs_ram_storage[SUPERBLOCK_SIZE + dir_fat_idx] = -1;
  300. }
  301. /**
  302. * Format the ram storage as a BRFS filesystem
  303. * blocks: number of blocks in the filesystem
  304. * bytes_per_block: number of bytes per block
  305. * label: label of the filesystem
  306. * full_format: if 1, initialize data section to 0
  307. */
  308. void brfs_format(word blocks, word bytes_per_block, char* label, word full_format)
  309. {
  310. // Create a superblock
  311. struct brfs_superblock superblock;
  312. // Initialize to 0
  313. memset((char*)&superblock, 0, sizeof(superblock));
  314. // Set values of superblock
  315. superblock.total_blocks = blocks;
  316. superblock.bytes_per_block = bytes_per_block;
  317. strcpy((char*)&superblock.label, label);
  318. superblock.brfs_version = 1;
  319. // Copy superblock to head of ram addr
  320. memcpy(brfs_ram_storage, (char*)&superblock, sizeof(superblock));
  321. // Create FAT
  322. memset(brfs_ram_storage + SUPERBLOCK_SIZE, 0, blocks);
  323. // Create Data section
  324. if (full_format)
  325. {
  326. memset(brfs_ram_storage + SUPERBLOCK_SIZE + blocks, 0, blocks * bytes_per_block);
  327. }
  328. // Initialize root dir
  329. word dir_entries_max = bytes_per_block / sizeof(struct brfs_dir_entry);
  330. brfs_init_directory(brfs_ram_storage + SUPERBLOCK_SIZE + blocks, dir_entries_max, 0, 0);
  331. // Clear open files and cursors
  332. memset(brfs_file_pointers, 0, sizeof(brfs_file_pointers));
  333. memset(brfs_cursors, 0, sizeof(brfs_cursors));
  334. }
  335. /**
  336. * Create a new directory in the directory of parent_dir_path
  337. * parent_dir_path: full path of the parent directory
  338. * dirname: name of the new directory
  339. */
  340. void brfs_create_directory(char* parent_dir_path, char* dirname)
  341. {
  342. struct brfs_superblock* superblock = (struct brfs_superblock*) brfs_ram_storage;
  343. word* brfs_data_block_addr = brfs_ram_storage + SUPERBLOCK_SIZE + superblock->total_blocks;
  344. // Find first free FAT block
  345. word next_free_block = brfs_find_next_free_block(brfs_ram_storage + SUPERBLOCK_SIZE, superblock->total_blocks);
  346. if (next_free_block == -1)
  347. {
  348. uprintln("No free blocks left!");
  349. return;
  350. }
  351. // Find data block address of parent directory path
  352. word parent_dir_fat_idx = brfs_get_fat_idx_of_dir(parent_dir_path);
  353. if (parent_dir_fat_idx == -1)
  354. {
  355. uprint("Parent directory ");
  356. uprint(parent_dir_path);
  357. uprintln(" not found!");
  358. return;
  359. }
  360. // Find first free dir entry
  361. word next_free_dir_entry = brfs_find_next_free_dir_entry(
  362. brfs_data_block_addr + (parent_dir_fat_idx * superblock->bytes_per_block),
  363. superblock->bytes_per_block / sizeof(struct brfs_dir_entry)
  364. );
  365. if (next_free_dir_entry == -1)
  366. {
  367. uprintln("No free dir entries left!");
  368. return;
  369. }
  370. // Create dir entry
  371. struct brfs_dir_entry new_entry;
  372. brfs_create_single_dir_entry(&new_entry, dirname, next_free_block, 0, 1);
  373. // Copy dir entry to first free dir entry
  374. memcpy(
  375. brfs_data_block_addr + (parent_dir_fat_idx * superblock->bytes_per_block) + (next_free_dir_entry * sizeof(struct brfs_dir_entry)),
  376. (char*)&new_entry,
  377. sizeof(new_entry)
  378. );
  379. // Initialize directory
  380. word dir_entries_max = superblock->bytes_per_block / sizeof(struct brfs_dir_entry);
  381. brfs_init_directory(
  382. brfs_data_block_addr + (next_free_block * superblock->bytes_per_block),
  383. dir_entries_max,
  384. next_free_block,
  385. parent_dir_fat_idx
  386. );
  387. }
  388. /**
  389. * Create a new file in the directory of parent_dir_path
  390. * parent_dir_path: full path of the parent directory
  391. * filename: name of the new file
  392. */
  393. void brfs_create_file(char* parent_dir_path, char* filename)
  394. {
  395. struct brfs_superblock* superblock = (struct brfs_superblock*) brfs_ram_storage;
  396. word* brfs_data_block_addr = brfs_ram_storage + SUPERBLOCK_SIZE + superblock->total_blocks;
  397. // Find first free FAT block
  398. word next_free_block = brfs_find_next_free_block(brfs_ram_storage + SUPERBLOCK_SIZE, superblock->total_blocks);
  399. if (next_free_block == -1)
  400. {
  401. uprintln("No free blocks left!");
  402. return;
  403. }
  404. // Find data block address of parent directory path
  405. word parent_dir_fat_idx = brfs_get_fat_idx_of_dir(parent_dir_path);
  406. if (parent_dir_fat_idx == -1)
  407. {
  408. uprint("Parent directory ");
  409. uprint(parent_dir_path);
  410. uprintln(" not found!");
  411. return;
  412. }
  413. // Find first free dir entry
  414. word next_free_dir_entry = brfs_find_next_free_dir_entry(
  415. brfs_data_block_addr + (parent_dir_fat_idx * superblock->bytes_per_block),
  416. superblock->bytes_per_block / sizeof(struct brfs_dir_entry)
  417. );
  418. if (next_free_dir_entry == -1)
  419. {
  420. uprintln("No free dir entries left!");
  421. return;
  422. }
  423. // Create file entry
  424. struct brfs_dir_entry new_entry;
  425. brfs_create_single_dir_entry(&new_entry, filename, next_free_block, 0, 0);
  426. // Copy dir entry to first free dir entry
  427. memcpy(
  428. brfs_data_block_addr + (parent_dir_fat_idx * superblock->bytes_per_block) + (next_free_dir_entry * sizeof(struct brfs_dir_entry)),
  429. (char*)&new_entry,
  430. sizeof(new_entry)
  431. );
  432. // Initialize file by setting data to 0
  433. memset(
  434. brfs_data_block_addr + (next_free_block * superblock->bytes_per_block),
  435. 0,
  436. superblock->bytes_per_block
  437. );
  438. // Update FAT
  439. brfs_ram_storage[SUPERBLOCK_SIZE + next_free_block] = -1;
  440. }
  441. /**
  442. * List the contents of a directory over UART
  443. * dir_path: full path of the directory
  444. */
  445. void brfs_list_directory(char* dir_path)
  446. {
  447. uprint("Listing directory ");
  448. uprintln(dir_path);
  449. uprintln("-------------------");
  450. // Find data block address of parent directory path
  451. word dir_fat_idx = brfs_get_fat_idx_of_dir(dir_path);
  452. if (dir_fat_idx == -1)
  453. {
  454. uprint("Parent directory ");
  455. uprint(dir_path);
  456. uprintln(" not found!");
  457. return;
  458. }
  459. struct brfs_superblock* superblock = (struct brfs_superblock*) brfs_ram_storage;
  460. word* dir_addr = brfs_ram_storage + SUPERBLOCK_SIZE + superblock->total_blocks + (dir_fat_idx * superblock->bytes_per_block);
  461. word dir_entries_max = superblock->bytes_per_block / sizeof(struct brfs_dir_entry);
  462. word i;
  463. for (i = 0; i < dir_entries_max; i++)
  464. {
  465. struct brfs_dir_entry* dir_entry = (struct brfs_dir_entry*) (dir_addr + (i * sizeof(struct brfs_dir_entry)));
  466. if (dir_entry->filename[0] != 0)
  467. {
  468. uprint("Filename: ");
  469. char decompressed_filename[16];
  470. strdecompress(decompressed_filename, (char*)&(dir_entry->filename));
  471. uprint(decompressed_filename);
  472. uprint(" FAT idx: ");
  473. uprintDec((dir_entry->fat_idx));
  474. uprint(" Flags: ");
  475. uprintDec((dir_entry->flags));
  476. uprint(" Filesize: ");
  477. uprintDec((dir_entry->filesize));
  478. uprintc('\n');
  479. }
  480. }
  481. uprintln("");
  482. }
  483. /**
  484. * Open a file for reading and writing
  485. * Returns the file pointer (FAT idx of file), or -1 on error
  486. * file_path: full path of the file
  487. */
  488. word brfs_open_file(char* file_path)
  489. {
  490. // Split filename from path using basename and dirname
  491. char dirname_output[MAX_PATH_LENGTH];
  492. char* file_path_basename = basename(file_path);
  493. char* file_path_dirname = dirname(dirname_output, file_path);
  494. // Find data block address of parent directory path
  495. word dir_fat_idx = brfs_get_fat_idx_of_dir(file_path_dirname);
  496. if (dir_fat_idx == -1)
  497. {
  498. uprint("Parent directory ");
  499. uprint(file_path_dirname);
  500. uprintln(" not found!");
  501. return -1;
  502. }
  503. // Find file in directory
  504. struct brfs_superblock* superblock = (struct brfs_superblock*) brfs_ram_storage;
  505. word* dir_addr = brfs_ram_storage + SUPERBLOCK_SIZE + superblock->total_blocks + (dir_fat_idx * superblock->bytes_per_block);
  506. word dir_entries_max = superblock->bytes_per_block / sizeof(struct brfs_dir_entry);
  507. word i;
  508. for (i = 0; i < dir_entries_max; i++)
  509. {
  510. struct brfs_dir_entry* dir_entry = (struct brfs_dir_entry*) (dir_addr + (i * sizeof(struct brfs_dir_entry)));
  511. if (dir_entry->filename[0] != 0)
  512. {
  513. char decompressed_filename[16];
  514. strdecompress(decompressed_filename, (char*)&(dir_entry->filename));
  515. if (strcmp(decompressed_filename, file_path_basename) == 1)
  516. {
  517. // Found file
  518. // Check if file is already open
  519. word j;
  520. for (j = 0; j < MAX_OPEN_FILES; j++)
  521. {
  522. if (brfs_file_pointers[j] == dir_entry->fat_idx)
  523. {
  524. uprint("File ");
  525. uprint(file_path_basename);
  526. uprintln(" already open!");
  527. return -1;
  528. }
  529. }
  530. // Find first free file pointer
  531. word next_free_file_pointer = -1;
  532. for (j = 0; j < MAX_OPEN_FILES; j++)
  533. {
  534. if (brfs_file_pointers[j] == 0)
  535. {
  536. next_free_file_pointer = j;
  537. break;
  538. }
  539. }
  540. if (next_free_file_pointer == -1)
  541. {
  542. uprintln("All files already opened!");
  543. return -1;
  544. }
  545. // Open file
  546. brfs_file_pointers[next_free_file_pointer] = dir_entry->fat_idx;
  547. brfs_cursors[next_free_file_pointer] = 0;
  548. return brfs_file_pointers[next_free_file_pointer];
  549. }
  550. }
  551. }
  552. }
  553. int main()
  554. {
  555. // Clear UART screen:
  556. uprintc(0x1B);
  557. uprintc(0x5B);
  558. uprintc(0x32);
  559. uprintc(0x4A);
  560. uprintln("------------------------");
  561. uprintln("BRFS test implementation");
  562. uprintln("------------------------");
  563. word blocks = 8;
  564. word bytes_per_block = 32;
  565. word full_format = 1;
  566. brfs_format(blocks, bytes_per_block, "Label", full_format);
  567. brfs_create_file("/", "file1.txt");
  568. brfs_create_directory(".", "dir1");
  569. brfs_create_file("dir1", "file2.txt");
  570. brfs_list_directory("/");
  571. brfs_list_directory("dir1");
  572. word fp = brfs_open_file("/dir1/file2.txt");
  573. brfs_dump(blocks, blocks*bytes_per_block);
  574. return 'q';
  575. }
  576. void interrupt()
  577. {
  578. // handle all interrupts
  579. word i = getIntID();
  580. switch(i)
  581. {
  582. case INTID_TIMER1:
  583. timer1Value = 1; // notify ending of timer1
  584. break;
  585. default:
  586. break;
  587. }
  588. }