1# userlandfs settings
2#
3# Lives in /boot/home/config/settings/kernel/drivers/.
4
5# OpenBFS
6file_system obfs {
7	# BFS_IOCTL_VERSION
8	ioctl 14200 {
9		buffer_size			0
10		write_buffer_size	4
11		is_buffer			true
12	}
13
14	# BFS_IOCTL_START_CHECKING
15	ioctl 14201 {
16		buffer_size			312
17		write_buffer_size	312
18		is_buffer			true
19	}
20
21	# BFS_IOCTL_STOP_CHECKING
22	ioctl 14202 {
23		buffer_size			312
24		write_buffer_size	312
25		is_buffer			true
26	}
27
28	# BFS_IOCTL_CHECK_NEXT_NODE
29	ioctl 14203 {
30		buffer_size			312
31		write_buffer_size	312
32		is_buffer			true
33	}
34
35	# allocate and zero all free blocks
36	ioctl 56742 {
37		buffer_size			0
38		write_buffer_size	0
39		is_buffer			false
40	}
41
42	# dump superblock
43	ioctl 56743 {
44		buffer_size			0
45		write_buffer_size	0
46		is_buffer			false
47	}
48
49	# dump inode
50	ioctl 56744 {
51		buffer_size			0
52		write_buffer_size	0
53		is_buffer			false
54	}
55
56	# dump inode block
57	ioctl 56745 {
58		buffer_size			0
59		write_buffer_size	0
60		is_buffer			false
61	}
62
63}
64
65# NetFS
66file_system netfs {
67	# NET_FS_IOCTL_ADD_SERVER
68	ioctl 11000 {
69		buffer_size			256
70		write_buffer_size	0
71		is_buffer			true
72	}
73
74	# NET_FS_IOCTL_REMOVE_SERVER
75	ioctl 11001 {
76		buffer_size			256
77		write_buffer_size	0
78		is_buffer			true
79	}
80}
81