void sdl_mount_fbfs() { fs_mount_builtin("/framebuffer", fbfs_open, fbfs_read, fbfs_write, 0, fbfs_mmap); insert_global_symbol(alloc_sym("screen-width"),alloc_int(WIDTH)); insert_global_symbol(alloc_sym("screen-height"),alloc_int(HEIGHT)); insert_global_symbol(alloc_sym("screen-bpp"),alloc_int(BPP)); }
void mount_consolekeys() { fs_mount_builtin("/keyboard", consolefs_open, consolefs_read, consolefs_write, 0, 0); atexit(consolefs_cleanup); }
void sdl_mount_fbfs() { fs_mount_builtin("/framebuffer", fbfs_open, fbfs_read, fbfs_write, 0, fbfs_mmap); }
void sdl_mount_keyfs() { fs_mount_builtin("/keyboard", keyfs_open, keyfs_read, 0, 0, 0); }
void sdl_mount_mousefs() { fs_mount_builtin("/mouse", mouse_open, mouse_read, mouse_write, 0, mouse_mmap); }
void mount_posixfs() { fs_mount_builtin("/sd", posixfs_open, posixfs_read, posixfs_write, 0, posixfs_mmap); }
void mount_fatfs() { f_mount(0, &fat_fs); fs_mount_builtin("/sd", fatfs_open, fatfs_read, fatfs_write, 0, 0); }