diff --git a/.github/workflows/validate_scmls.yml b/.github/workflows/validate_scmls.yml index dc9cd24dc..fb618091d 100644 --- a/.github/workflows/validate_scmls.yml +++ b/.github/workflows/validate_scmls.yml @@ -5,13 +5,13 @@ on: pull_request: paths: - tools/sctrace/** - - book/src/kernel/linux-compatibility/syscall-feature-coverage/** + - book/src/kernel/linux-compatibility/syscall-flag-coverage/** push: branches: - main paths: - tools/sctrace/** - - book/src/kernel/linux-compatibility/syscall-feature-coverage/** + - book/src/kernel/linux-compatibility/syscall-flag-coverage/** jobs: validate_scmls: diff --git a/CODEOWNERS b/CODEOWNERS index 552045cb8..d6d264907 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -28,7 +28,7 @@ #============================================================================= /book/ @tatetian -/book/src/kernel/linux-compatibility/syscall-feature-coverage/ @tatetian @taosue +/book/src/kernel/linux-compatibility/syscall-flag-coverage/ @tatetian @taosue #============================================================================= # The Asterinas kernel diff --git a/book/src/SUMMARY.md b/book/src/SUMMARY.md index 0dbf43af6..81c2bb76e 100644 --- a/book/src/SUMMARY.md +++ b/book/src/SUMMARY.md @@ -9,18 +9,18 @@ * [Intel TDX](kernel/intel_tdx.md) * [The Framekernel Architecture](kernel/the-framekernel-architecture.md) * [Linux Compatibility](kernel/linux-compatibility/README.md) - * [Syscall Feature Coverage](kernel/linux-compatibility/syscall-feature-coverage/README.md) - * [System Call Matching Language (SCML)](kernel/linux-compatibility/syscall-feature-coverage/system-call-matching-language.md) - * [Process and thread management](kernel/linux-compatibility/syscall-feature-coverage/process-and-thread-management/README.md) - * [Memory management](kernel/linux-compatibility/syscall-feature-coverage/memory-management/README.md) - * [File & directory operations](kernel/linux-compatibility/syscall-feature-coverage/file-and-directory-operations/README.md) - * [File systems & mount control](kernel/linux-compatibility/syscall-feature-coverage/file-systems-and-mount-control/README.md) - * [File descriptor & I/O control](kernel/linux-compatibility/syscall-feature-coverage/file-descriptor-and-io-control/README.md) - * [Inter-process communication](kernel/linux-compatibility/syscall-feature-coverage/inter-process-communication/README.md) - * [Networking & sockets](kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/README.md) - * [Signals & timers](kernel/linux-compatibility/syscall-feature-coverage/signals-and-timers/README.md) - * [Namespaces, cgroups & security](kernel/linux-compatibility/syscall-feature-coverage/namespaces-cgroups-and-security/README.md) - * [System information & misc](kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/README.md) + * [Syscall Flag Coverage](kernel/linux-compatibility/syscall-flag-coverage/README.md) + * [System Call Matching Language (SCML)](kernel/linux-compatibility/syscall-flag-coverage/system-call-matching-language.md) + * [Process and thread management](kernel/linux-compatibility/syscall-flag-coverage/process-and-thread-management/README.md) + * [Memory management](kernel/linux-compatibility/syscall-flag-coverage/memory-management/README.md) + * [File & directory operations](kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/README.md) + * [File systems & mount control](kernel/linux-compatibility/syscall-flag-coverage/file-systems-and-mount-control/README.md) + * [File descriptor & I/O control](kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/README.md) + * [Inter-process communication](kernel/linux-compatibility/syscall-flag-coverage/inter-process-communication/README.md) + * [Networking & sockets](kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/README.md) + * [Signals & timers](kernel/linux-compatibility/syscall-flag-coverage/signals-and-timers/README.md) + * [Namespaces, cgroups & security](kernel/linux-compatibility/syscall-flag-coverage/namespaces-cgroups-and-security/README.md) + * [System information & misc](kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/README.md) * [File System Coverage]() * [Roadmap](kernel/roadmap.md) diff --git a/book/src/kernel/linux-compatibility/README.md b/book/src/kernel/linux-compatibility/README.md index db79fad3b..e58b68d5b 100644 --- a/book/src/kernel/linux-compatibility/README.md +++ b/book/src/kernel/linux-compatibility/README.md @@ -18,23 +18,23 @@ At the time of writing, Asterinas supports over 225 Linux system calls for the x86-64 architecture, which are summarized in the table below. -| Numbers | Names | Supported | Feature Coverage | +| Numbers | Names | Supported | Flag Coverage | | ------- | ---------------------- | -------------- | --- | | 0 | read | βœ… | πŸ’― | | 1 | write | βœ… | πŸ’― | -| 2 | open | βœ… | [⚠️](syscall-feature-coverage/file-and-directory-operations/#open-and-openat) | +| 2 | open | βœ… | [⚠️](syscall-flag-coverage/file-and-directory-operations/#open-and-openat) | | 3 | close | βœ… | πŸ’― | | 4 | stat | βœ… | πŸ’― | | 5 | fstat | βœ… | πŸ’― | | 6 | lstat | βœ… | πŸ’― | | 7 | poll | βœ… | πŸ’― | -| 8 | lseek | βœ… | [⚠️](syscall-feature-coverage/file-and-directory-operations/#lseek) | -| 9 | mmap | βœ… | [⚠️](syscall-feature-coverage/memory-management/#mmap-and-munmap) | -| 10 | mprotect | βœ… | [⚠️](syscall-feature-coverage/memory-management/#mprotect) | +| 8 | lseek | βœ… | [⚠️](syscall-flag-coverage/file-and-directory-operations/#lseek) | +| 9 | mmap | βœ… | [⚠️](syscall-flag-coverage/memory-management/#mmap-and-munmap) | +| 10 | mprotect | βœ… | [⚠️](syscall-flag-coverage/memory-management/#mprotect) | | 11 | munmap | βœ… | πŸ’― | | 12 | brk | βœ… | πŸ’― | -| 13 | rt_sigaction | βœ… | [⚠️](syscall-feature-coverage/signals-and-timers/#rt_sigaction) | -| 14 | rt_sigprocmask | βœ… | [⚠️](syscall-feature-coverage/signals-and-timers/#rt_sigprocmask) | +| 13 | rt_sigaction | βœ… | [⚠️](syscall-flag-coverage/signals-and-timers/#rt_sigaction) | +| 14 | rt_sigprocmask | βœ… | [⚠️](syscall-flag-coverage/signals-and-timers/#rt_sigprocmask) | | 15 | rt_sigreturn | βœ… | πŸ’― | | 16 | ioctl | βœ… | ❓ | | 17 | pread64 | βœ… | πŸ’― | @@ -45,10 +45,10 @@ which are summarized in the table below. | 22 | pipe | βœ… | πŸ’― | | 23 | select | βœ… | ❓ | | 24 | sched_yield | βœ… | πŸ’― | -| 25 | mremap | βœ… | [⚠️](syscall-feature-coverage/memory-management/#mremap) | -| 26 | msync | βœ… | [⚠️](syscall-feature-coverage/memory-management/#msync) | +| 25 | mremap | βœ… | [⚠️](syscall-flag-coverage/memory-management/#mremap) | +| 26 | msync | βœ… | [⚠️](syscall-flag-coverage/memory-management/#msync) | | 27 | mincore | ❌ | N/A | -| 28 | madvise | βœ… | [⚠️](syscall-feature-coverage/memory-management/#madvise) | +| 28 | madvise | βœ… | [⚠️](syscall-flag-coverage/memory-management/#madvise) | | 29 | shmget | ❌ | N/A | | 30 | shmat | ❌ | N/A | | 31 | shmctl | ❌ | N/A | @@ -61,38 +61,38 @@ which are summarized in the table below. | 38 | setitimer | βœ… | ❓ | | 39 | getpid | βœ… | πŸ’― | | 40 | sendfile | βœ… | πŸ’― | -| 41 | socket | βœ… | [⚠️](syscall-feature-coverage/networking-and-sockets/#socket) | -| 42 | connect | βœ… | [⚠️](syscall-feature-coverage/networking-and-sockets/#connect) | +| 41 | socket | βœ… | [⚠️](syscall-flag-coverage/networking-and-sockets/#socket) | +| 42 | connect | βœ… | [⚠️](syscall-flag-coverage/networking-and-sockets/#connect) | | 43 | accept | βœ… | ❓ | -| 44 | sendto | βœ… | [⚠️](syscall-feature-coverage/networking-and-sockets/#sendto-and-sendmsg) | -| 45 | recvfrom | βœ… | [⚠️](syscall-feature-coverage/networking-and-sockets/#recvfrom-and-recvmsg) | -| 46 | sendmsg | βœ… | [⚠️](syscall-feature-coverage/networking-and-sockets/#sendto-and-sendmsg) | -| 47 | recvmsg | βœ… | [⚠️](syscall-feature-coverage/networking-and-sockets/#recvfrom-and-recvmsg) | +| 44 | sendto | βœ… | [⚠️](syscall-flag-coverage/networking-and-sockets/#sendto-and-sendmsg) | +| 45 | recvfrom | βœ… | [⚠️](syscall-flag-coverage/networking-and-sockets/#recvfrom-and-recvmsg) | +| 46 | sendmsg | βœ… | [⚠️](syscall-flag-coverage/networking-and-sockets/#sendto-and-sendmsg) | +| 47 | recvmsg | βœ… | [⚠️](syscall-flag-coverage/networking-and-sockets/#recvfrom-and-recvmsg) | | 48 | shutdown | βœ… | ❓ | -| 49 | bind | βœ… | [⚠️](syscall-feature-coverage/networking-and-sockets/#bind) | +| 49 | bind | βœ… | [⚠️](syscall-flag-coverage/networking-and-sockets/#bind) | | 50 | listen | βœ… | ❓ | | 51 | getsockname | βœ… | πŸ’― | | 52 | getpeername | βœ… | ❓ | -| 53 | socketpair | βœ… | [⚠️](syscall-feature-coverage/networking-and-sockets/#socketpair) | -| 54 | setsockopt | βœ… | [⚠️](syscall-feature-coverage/networking-and-sockets/#getsockopt-and-setsockopt) | -| 55 | getsockopt | βœ… | [⚠️](syscall-feature-coverage/networking-and-sockets/#getsockopt-and-setsockopt) | -| 56 | clone | βœ… | [⚠️](syscall-feature-coverage/process-and-thread-management/#clone) | +| 53 | socketpair | βœ… | [⚠️](syscall-flag-coverage/networking-and-sockets/#socketpair) | +| 54 | setsockopt | βœ… | [⚠️](syscall-flag-coverage/networking-and-sockets/#getsockopt-and-setsockopt) | +| 55 | getsockopt | βœ… | [⚠️](syscall-flag-coverage/networking-and-sockets/#getsockopt-and-setsockopt) | +| 56 | clone | βœ… | [⚠️](syscall-flag-coverage/process-and-thread-management/#clone) | | 57 | fork | βœ… | πŸ’― | | 58 | vfork | ❌ | N/A | | 59 | execve | βœ… | πŸ’― | | 60 | exit | βœ… | πŸ’― | -| 61 | wait4 | βœ… | [⚠️](syscall-feature-coverage/process-and-thread-management/#wait4) | +| 61 | wait4 | βœ… | [⚠️](syscall-flag-coverage/process-and-thread-management/#wait4) | | 62 | kill | βœ… | πŸ’― | | 63 | uname | βœ… | πŸ’― | -| 64 | semget | βœ… | [⚠️](syscall-feature-coverage/inter-process-communication/#semget) | -| 65 | semop | βœ… | [⚠️](syscall-feature-coverage/inter-process-communication/#semop-and-semtimedop) | -| 66 | semctl | βœ… | [⚠️](syscall-feature-coverage/inter-process-communication/#semctl) | +| 64 | semget | βœ… | [⚠️](syscall-flag-coverage/inter-process-communication/#semget) | +| 65 | semop | βœ… | [⚠️](syscall-flag-coverage/inter-process-communication/#semop-and-semtimedop) | +| 66 | semctl | βœ… | [⚠️](syscall-flag-coverage/inter-process-communication/#semctl) | | 67 | shmdt | ❌ | N/A | | 68 | msgget | ❌ | N/A | | 69 | msgsnd | ❌ | N/A | | 70 | msgrcv | ❌ | N/A | | 71 | msgctl | ❌ | N/A | -| 72 | fcntl | βœ… | [⚠️](syscall-feature-coverage/file-descriptor-and-io-control/#fcntl) | +| 72 | fcntl | βœ… | [⚠️](syscall-flag-coverage/file-descriptor-and-io-control/#fcntl) | | 73 | flock | βœ… | ❓ | | 74 | fsync | βœ… | πŸ’― | | 75 | fdatasync | βœ… | πŸ’― | @@ -118,7 +118,7 @@ which are summarized in the table below. | 95 | umask | βœ… | πŸ’― | | 96 | gettimeofday | βœ… | πŸ’― | | 97 | getrlimit | βœ… | ❓ | -| 98 | getrusage | βœ… | [⚠️](syscall-feature-coverage/system-information-and-misc/#getrusage) | +| 98 | getrusage | βœ… | [⚠️](syscall-flag-coverage/system-information-and-misc/#getrusage) | | 99 | sysinfo | βœ… | πŸ’― | | 100 | times | ❌ | N/A | | 101 | ptrace | ❌ | N/A | @@ -145,8 +145,8 @@ which are summarized in the table below. | 122 | setfsuid | βœ… | πŸ’― | | 123 | setfsgid | βœ… | πŸ’― | | 124 | getsid | βœ… | πŸ’― | -| 125 | capget | βœ… | [⚠️](syscall-feature-coverage/namespaces-cgroups-and-security/#capget-and-capset) | -| 126 | capset | βœ… | [⚠️](syscall-feature-coverage/namespaces-cgroups-and-security/#capget-and-capset) | +| 125 | capget | βœ… | [⚠️](syscall-flag-coverage/namespaces-cgroups-and-security/#capget-and-capset) | +| 126 | capset | βœ… | [⚠️](syscall-flag-coverage/namespaces-cgroups-and-security/#capget-and-capset) | | 127 | rt_sigpending | βœ… | πŸ’― | | 128 | rt_sigtimedwait | ❌ | N/A | | 129 | rt_sigqueueinfo | ❌ | N/A | @@ -177,19 +177,19 @@ which are summarized in the table below. | 154 | modify_ldt | ❌ | N/A | | 155 | pivot_root | ❌ | N/A | | 156 | _sysctl | ❌ | N/A | -| 157 | prctl | βœ… | [⚠️](syscall-feature-coverage/namespaces-cgroups-and-security/#prctl) | -| 158 | arch_prctl | βœ… | [⚠️](syscall-feature-coverage/system-information-and-misc/#arch_prctl) | +| 157 | prctl | βœ… | [⚠️](syscall-flag-coverage/namespaces-cgroups-and-security/#prctl) | +| 158 | arch_prctl | βœ… | [⚠️](syscall-flag-coverage/system-information-and-misc/#arch_prctl) | | 159 | adjtimex | ❌ | N/A | | 160 | setrlimit | βœ… | ❓ | | 161 | chroot | βœ… | πŸ’― | | 162 | sync | βœ… | πŸ’― | | 163 | acct | ❌ | N/A | | 164 | settimeofday | ❌ | N/A | -| 165 | mount | βœ… | [⚠️](syscall-feature-coverage/file-systems-and-mount-control/#mount) | -| 166 | umount2 | βœ… | [⚠️](syscall-feature-coverage/file-systems-and-mount-control/#umount-and-umount2) | +| 165 | mount | βœ… | [⚠️](syscall-flag-coverage/file-systems-and-mount-control/#mount) | +| 166 | umount2 | βœ… | [⚠️](syscall-flag-coverage/file-systems-and-mount-control/#umount-and-umount2) | | 167 | swapon | ❌ | N/A | | 168 | swapoff | ❌ | N/A | -| 169 | reboot | βœ… | [⚠️](syscall-feature-coverage/system-information-and-misc/#reboot) | +| 169 | reboot | βœ… | [⚠️](syscall-flag-coverage/system-information-and-misc/#reboot) | | 170 | sethostname | βœ… | πŸ’― | | 171 | setdomainname | βœ… | πŸ’― | | 172 | iopl | ❌ | N/A | @@ -222,7 +222,7 @@ which are summarized in the table below. | 199 | fremovexattr | βœ… | πŸ’― | | 200 | tkill | ❌ | N/A | | 201 | time | βœ… | πŸ’― | -| 202 | futex | βœ… | [⚠️](syscall-feature-coverage/inter-process-communication/#futex) | +| 202 | futex | βœ… | [⚠️](syscall-flag-coverage/inter-process-communication/#futex) | | 203 | sched_setaffinity | βœ… | πŸ’― | | 204 | sched_getaffinity | βœ… | πŸ’― | | 205 | set_thread_area | ❌ | N/A | @@ -240,17 +240,17 @@ which are summarized in the table below. | 217 | getdents64 | βœ… | πŸ’― | | 218 | set_tid_address | βœ… | πŸ’― | | 219 | restart_syscall | ❌ | N/A | -| 220 | semtimedop | βœ… | [⚠️](syscall-feature-coverage/inter-process-communication/#semop-and-semtimedop) | +| 220 | semtimedop | βœ… | [⚠️](syscall-flag-coverage/inter-process-communication/#semop-and-semtimedop) | | 221 | fadvise64 | βœ… | ❓ | -| 222 | timer_create | βœ… | [⚠️](syscall-feature-coverage/signals-and-timers/#timer_create) | +| 222 | timer_create | βœ… | [⚠️](syscall-flag-coverage/signals-and-timers/#timer_create) | | 223 | timer_settime | βœ… | ❓ | | 224 | timer_gettime | βœ… | πŸ’― | | 225 | timer_getoverrun | ❌ | N/A | | 226 | timer_delete | βœ… | πŸ’― | | 227 | clock_settime | ❌ | N/A | -| 228 | clock_gettime | βœ… | [⚠️](syscall-feature-coverage/system-information-and-misc/#clock_gettime) | +| 228 | clock_gettime | βœ… | [⚠️](syscall-flag-coverage/system-information-and-misc/#clock_gettime) | | 229 | clock_getres | ❌ | N/A | -| 230 | clock_nanosleep | βœ… | [⚠️](syscall-feature-coverage/system-information-and-misc/#clock_nanosleep) | +| 230 | clock_nanosleep | βœ… | [⚠️](syscall-flag-coverage/system-information-and-misc/#clock_nanosleep) | | 231 | exit_group | βœ… | πŸ’― | | 232 | epoll_wait | βœ… | ❓ | | 233 | epoll_ctl | βœ… | ❓ | @@ -274,15 +274,15 @@ which are summarized in the table below. | 251 | ioprio_set | βœ… | ❓ | | 252 | ioprio_get | βœ… | ❓ | | 253 | inotify_init | βœ… | πŸ’― | -| 254 | inotify_add_watch | βœ… | [⚠️](syscall-feature-coverage/file-systems-and-mount-control/#inotify_add_watch) | +| 254 | inotify_add_watch | βœ… | [⚠️](syscall-flag-coverage/file-systems-and-mount-control/#inotify_add_watch) | | 255 | inotify_rm_watch | βœ… | πŸ’― | | 256 | migrate_pages | ❌ | N/A | -| 257 | openat | βœ… | [⚠️](syscall-feature-coverage/file-and-directory-operations/#open-and-openat) | +| 257 | openat | βœ… | [⚠️](syscall-flag-coverage/file-and-directory-operations/#open-and-openat) | | 258 | mkdirat | βœ… | πŸ’― | | 259 | mknodat | βœ… | πŸ’― | | 260 | fchownat | βœ… | ❓ | | 261 | futimesat | βœ… | πŸ’― | -| 262 | newfstatat | βœ… | [⚠️](syscall-feature-coverage/file-and-directory-operations/#newfstatat) | +| 262 | newfstatat | βœ… | [⚠️](syscall-flag-coverage/file-and-directory-operations/#newfstatat) | | 263 | unlinkat | βœ… | ❓ | | 264 | renameat | βœ… | ❓ | | 265 | linkat | βœ… | ❓ | @@ -310,11 +310,11 @@ which are summarized in the table below. | 287 | timerfd_gettime | βœ… | πŸ’― | | 288 | accept4 | βœ… | ❓ | | 289 | signalfd4 | βœ… | ❓ | -| 290 | eventfd2 | βœ… | [⚠️](syscall-feature-coverage/file-descriptor-and-io-control/#eventfd-and-eventfd2) | +| 290 | eventfd2 | βœ… | [⚠️](syscall-flag-coverage/file-descriptor-and-io-control/#eventfd-and-eventfd2) | | 291 | epoll_create1 | βœ… | ❓ | | 292 | dup3 | βœ… | πŸ’― | -| 293 | pipe2 | βœ… | [⚠️](syscall-feature-coverage/file-descriptor-and-io-control/#pipe-and-pipe2) | -| 294 | inotify_init1 | βœ… | [⚠️](syscall-feature-coverage/file-systems-and-mount-control/#inotify_init-and-inotify_init1) | +| 293 | pipe2 | βœ… | [⚠️](syscall-flag-coverage/file-descriptor-and-io-control/#pipe-and-pipe2) | +| 294 | inotify_init1 | βœ… | [⚠️](syscall-flag-coverage/file-systems-and-mount-control/#inotify_init-and-inotify_init1) | | 295 | preadv | βœ… | πŸ’― | | 296 | pwritev | βœ… | πŸ’― | | 297 | rt_tgsigqueueinfo | ❌ | N/A | @@ -334,10 +334,10 @@ which are summarized in the table below. | 311 | process_vm_writev | ❌ | N/A | | 312 | kcmp | ❌ | N/A | | 313 | finit_module | ❌ | N/A | -| 314 | sched_setattr | βœ… | [⚠️](syscall-feature-coverage/process-and-thread-management/#sched_getattr-and-sched_setattr) | -| 315 | sched_getattr | βœ… | [⚠️](syscall-feature-coverage/process-and-thread-management/#sched_getattr-and-sched_setattr) | -| 316 | renameat2 | βœ… | [⚠️](syscall-feature-coverage/file-and-directory-operations/#renameat2) | -| 318 | getrandom | βœ… | [⚠️](syscall-feature-coverage/system-information-and-misc/#getrandom) | +| 314 | sched_setattr | βœ… | [⚠️](syscall-flag-coverage/process-and-thread-management/#sched_getattr-and-sched_setattr) | +| 315 | sched_getattr | βœ… | [⚠️](syscall-flag-coverage/process-and-thread-management/#sched_getattr-and-sched_setattr) | +| 316 | renameat2 | βœ… | [⚠️](syscall-flag-coverage/file-and-directory-operations/#renameat2) | +| 318 | getrandom | βœ… | [⚠️](syscall-flag-coverage/system-information-and-misc/#getrandom) | | 319 | memfd_create | βœ… | ❓ | | 322 | execveat | βœ… | ❓ | | 327 | preadv2 | βœ… | ❓ | @@ -353,7 +353,7 @@ which are summarized in the table below. - βœ… = syscall supported - ❌ = not supported -- Feature Coverage: +- Flag Coverage: - πŸ’― = all flags/commands/modes are supported - ⚠️ = syscall works, but some flags/modes are not implemented - ❓ = implementation exists, but we have not audited its coverage yet diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/README.md b/book/src/kernel/linux-compatibility/syscall-flag-coverage/README.md similarity index 80% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/README.md rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/README.md index dbd55ce05..f362fc044 100644 --- a/book/src/kernel/linux-compatibility/syscall-feature-coverage/README.md +++ b/book/src/kernel/linux-compatibility/syscall-flag-coverage/README.md @@ -1,7 +1,7 @@ -# Syscall Feature Coverage +# Syscall Flag Coverage -This section documents the feature coverage of Asterinas's implementation of Linux system calls. -It introduce [**System Call Matching Language (SCML)**](system-call-matching-language.md), +This section documents the flag coverage of Asterinas's implementation of Linux system calls. +It introduces [**System Call Matching Language (SCML)**](system-call-matching-language.md), a lightweight domain‑specific language for specifying allowed and disallowed patterns of system‑call invocations. diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-and-directory-operations/README.md b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/README.md similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-and-directory-operations/README.md rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/README.md diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-and-directory-operations/fully_supported.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/fully_covered.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-and-directory-operations/fully_supported.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/fully_covered.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-and-directory-operations/lseek.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/lseek.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-and-directory-operations/lseek.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/lseek.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-and-directory-operations/newfstatat.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/newfstatat.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-and-directory-operations/newfstatat.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/newfstatat.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-and-directory-operations/open_and_openat.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/open_and_openat.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-and-directory-operations/open_and_openat.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/open_and_openat.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-and-directory-operations/renameat2.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/renameat2.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-and-directory-operations/renameat2.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/renameat2.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-descriptor-and-io-control/README.md b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/README.md similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-descriptor-and-io-control/README.md rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/README.md diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-descriptor-and-io-control/eventfd_and_eventfd2.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/eventfd_and_eventfd2.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-descriptor-and-io-control/eventfd_and_eventfd2.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/eventfd_and_eventfd2.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-descriptor-and-io-control/fcntl.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/fcntl.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-descriptor-and-io-control/fcntl.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/fcntl.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-descriptor-and-io-control/fully_supported.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/fully_covered.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-descriptor-and-io-control/fully_supported.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/fully_covered.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-descriptor-and-io-control/pipe_and_pipe2.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/pipe_and_pipe2.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-descriptor-and-io-control/pipe_and_pipe2.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/pipe_and_pipe2.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-systems-and-mount-control/README.md b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-systems-and-mount-control/README.md similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-systems-and-mount-control/README.md rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-systems-and-mount-control/README.md diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-systems-and-mount-control/fully_supported.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-systems-and-mount-control/fully_covered.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-systems-and-mount-control/fully_supported.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-systems-and-mount-control/fully_covered.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-systems-and-mount-control/inotify_add_watch.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-systems-and-mount-control/inotify_add_watch.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-systems-and-mount-control/inotify_add_watch.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-systems-and-mount-control/inotify_add_watch.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-systems-and-mount-control/inotify_init_and_init1.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-systems-and-mount-control/inotify_init_and_init1.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-systems-and-mount-control/inotify_init_and_init1.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-systems-and-mount-control/inotify_init_and_init1.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-systems-and-mount-control/mount.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-systems-and-mount-control/mount.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-systems-and-mount-control/mount.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-systems-and-mount-control/mount.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/file-systems-and-mount-control/umount_and_umount2.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-systems-and-mount-control/umount_and_umount2.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/file-systems-and-mount-control/umount_and_umount2.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/file-systems-and-mount-control/umount_and_umount2.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/inter-process-communication/README.md b/book/src/kernel/linux-compatibility/syscall-flag-coverage/inter-process-communication/README.md similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/inter-process-communication/README.md rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/inter-process-communication/README.md diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/inter-process-communication/fully_supported.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/inter-process-communication/fully_covered.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/inter-process-communication/fully_supported.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/inter-process-communication/fully_covered.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/inter-process-communication/futex.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/inter-process-communication/futex.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/inter-process-communication/futex.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/inter-process-communication/futex.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/inter-process-communication/semctl.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/inter-process-communication/semctl.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/inter-process-communication/semctl.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/inter-process-communication/semctl.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/inter-process-communication/semget.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/inter-process-communication/semget.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/inter-process-communication/semget.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/inter-process-communication/semget.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/inter-process-communication/semop_and_semtimedop.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/inter-process-communication/semop_and_semtimedop.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/inter-process-communication/semop_and_semtimedop.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/inter-process-communication/semop_and_semtimedop.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/memory-management/README.md b/book/src/kernel/linux-compatibility/syscall-flag-coverage/memory-management/README.md similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/memory-management/README.md rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/memory-management/README.md diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/memory-management/fully_supported.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/memory-management/fully_covered.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/memory-management/fully_supported.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/memory-management/fully_covered.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/memory-management/madvise.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/memory-management/madvise.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/memory-management/madvise.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/memory-management/madvise.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/memory-management/mmap_and_munmap.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/memory-management/mmap_and_munmap.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/memory-management/mmap_and_munmap.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/memory-management/mmap_and_munmap.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/memory-management/mprotect.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/memory-management/mprotect.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/memory-management/mprotect.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/memory-management/mprotect.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/memory-management/mremap.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/memory-management/mremap.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/memory-management/mremap.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/memory-management/mremap.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/memory-management/msync.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/memory-management/msync.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/memory-management/msync.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/memory-management/msync.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/namespaces-cgroups-and-security/README.md b/book/src/kernel/linux-compatibility/syscall-flag-coverage/namespaces-cgroups-and-security/README.md similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/namespaces-cgroups-and-security/README.md rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/namespaces-cgroups-and-security/README.md diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/namespaces-cgroups-and-security/capget_and_capset.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/namespaces-cgroups-and-security/capget_and_capset.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/namespaces-cgroups-and-security/capget_and_capset.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/namespaces-cgroups-and-security/capget_and_capset.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/namespaces-cgroups-and-security/fully_supported.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/namespaces-cgroups-and-security/fully_covered.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/namespaces-cgroups-and-security/fully_supported.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/namespaces-cgroups-and-security/fully_covered.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/namespaces-cgroups-and-security/prctl.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/namespaces-cgroups-and-security/prctl.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/namespaces-cgroups-and-security/prctl.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/namespaces-cgroups-and-security/prctl.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/README.md b/book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/README.md similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/README.md rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/README.md diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/bind.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/bind.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/bind.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/bind.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/connect.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/connect.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/connect.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/connect.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/fully_supported.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/fully_covered.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/fully_supported.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/fully_covered.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/getsockopt_and_setsockopt.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/getsockopt_and_setsockopt.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/getsockopt_and_setsockopt.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/getsockopt_and_setsockopt.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/recvfrom_and_recvmsg.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/recvfrom_and_recvmsg.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/recvfrom_and_recvmsg.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/recvfrom_and_recvmsg.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/sendto_and_sendmsg.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/sendto_and_sendmsg.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/sendto_and_sendmsg.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/sendto_and_sendmsg.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/socket.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/socket.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/socket.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/socket.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/socketpair.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/socketpair.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/networking-and-sockets/socketpair.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/socketpair.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/process-and-thread-management/README.md b/book/src/kernel/linux-compatibility/syscall-flag-coverage/process-and-thread-management/README.md similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/process-and-thread-management/README.md rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/process-and-thread-management/README.md diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/process-and-thread-management/clone.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/process-and-thread-management/clone.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/process-and-thread-management/clone.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/process-and-thread-management/clone.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/process-and-thread-management/fully_supported.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/process-and-thread-management/fully_covered.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/process-and-thread-management/fully_supported.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/process-and-thread-management/fully_covered.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/process-and-thread-management/sched_getattr_and_sched_setattr.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/process-and-thread-management/sched_getattr_and_sched_setattr.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/process-and-thread-management/sched_getattr_and_sched_setattr.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/process-and-thread-management/sched_getattr_and_sched_setattr.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/process-and-thread-management/wait4.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/process-and-thread-management/wait4.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/process-and-thread-management/wait4.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/process-and-thread-management/wait4.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/signals-and-timers/README.md b/book/src/kernel/linux-compatibility/syscall-flag-coverage/signals-and-timers/README.md similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/signals-and-timers/README.md rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/signals-and-timers/README.md diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/signals-and-timers/fully_supported.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/signals-and-timers/fully_covered.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/signals-and-timers/fully_supported.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/signals-and-timers/fully_covered.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/signals-and-timers/rt_sigaction.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/signals-and-timers/rt_sigaction.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/signals-and-timers/rt_sigaction.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/signals-and-timers/rt_sigaction.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/signals-and-timers/rt_sigprocmask.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/signals-and-timers/rt_sigprocmask.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/signals-and-timers/rt_sigprocmask.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/signals-and-timers/rt_sigprocmask.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/signals-and-timers/timer_create.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/signals-and-timers/timer_create.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/signals-and-timers/timer_create.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/signals-and-timers/timer_create.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/system-call-matching-language.md b/book/src/kernel/linux-compatibility/syscall-flag-coverage/system-call-matching-language.md similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/system-call-matching-language.md rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/system-call-matching-language.md diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/README.md b/book/src/kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/README.md similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/README.md rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/README.md diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/arch_prctl.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/arch_prctl.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/arch_prctl.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/arch_prctl.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/clock_gettime.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/clock_gettime.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/clock_gettime.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/clock_gettime.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/clock_nanosleep.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/clock_nanosleep.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/clock_nanosleep.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/clock_nanosleep.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/fully_supported.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/fully_covered.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/fully_supported.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/fully_covered.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/getrandom.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/getrandom.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/getrandom.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/getrandom.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/getrusage.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/getrusage.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/getrusage.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/getrusage.scml diff --git a/book/src/kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/reboot.scml b/book/src/kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/reboot.scml similarity index 100% rename from book/src/kernel/linux-compatibility/syscall-feature-coverage/system-information-and-misc/reboot.scml rename to book/src/kernel/linux-compatibility/syscall-flag-coverage/system-information-and-misc/reboot.scml diff --git a/tools/sctrace/README.md b/tools/sctrace/README.md index 628b765e8..a993542ea 100644 --- a/tools/sctrace/README.md +++ b/tools/sctrace/README.md @@ -3,7 +3,7 @@ Syscall Compatibility Tracer (`sctrace`) is a powerful system call compatibility verification tool that analyzes and validates system call against user-defined patterns. Written in -[SCML (System Call Matching Language)](https://asterinas.github.io/book/kernel/linux-compatibility/syscall-feature-coverage/system-call-matching-language.html), +[SCML (System Call Matching Language)](https://asterinas.github.io/book/kernel/linux-compatibility/syscall-flag-coverage/system-call-matching-language.html), these patterns describe supported functionality of system calls. `sctrace` supports both real-time monitoring of running programs and post-analysis of existing trace logs, providing comprehensive insights into system call compatibility @@ -131,7 +131,7 @@ sctrace network.scml -- curl http://example.com ### Example 3: Using Asterinas Compatibility Patterns -Use the provided directory [syscall-feature-coverage](../../book/src/kernel/linux-compatibility/syscall-feature-coverage) (work in progress) and +Use the provided directory [syscall-flag-coverage](../../book/src/kernel/linux-compatibility/syscall-flag-coverage) (work in progress) and test with various commands: ```bash