type CapsKernel

bend-osdev-caps@0.1.0.0 · caps.bend:495

import Base

495# The kernel's choices: the highest capability it supports
496# (/proc/sys/kernel/cap_last_cap; at most 40 here) and whether file
497# capabilities are on (off when booted with no_file_caps)
498type CapsKernel is Data:
499  CapsKernel{last_cap: U32, file_caps: Bool}