Demi Marie Obenour writes:
> On 6/13/25 14:13, Jean-Philippe Brucker wrote:
>> Hi,
>>
>> On Fri, Jun 13, 2025 at 01:08:07PM -0400, Demi Marie Obenour wrote:
>>> I’m working on virtio-IOMMU interrupt remapping for Spectrum OS [1],
>>> and am running into a problem. All of the current interrupt r
From: Ujwal Jain
Currently, the in-kernel kunit test case timeout is 300 seconds. (There
is a separate timeout mechanism for the whole test execution in
kunit.py, but that's unrelated.) However, tests marked 'slow' or 'very
slow' may timeout, particularly on slower machines.
Implement a multipli
On Fri, 13 Jun 2025 23:44:20 + Mina Almasry wrote:
> From: Jesper Dangaard Brouer
>
> We frequently consult with Jesper's out-of-tree page_pool benchmark to
> evaluate page_pool changes.
>
> Import the benchmark into the upstream linux kernel tree so that (a)
> we're all running the same ver
On 6/13/25 12:37 AM, André Apitzsch via B4 Relay wrote:
> From: André Apitzsch
>
> This dts adds support for BQ Aquaris X5 Plus (Longcheer L9360) released
> in 2016.
>
> Add a device tree with initial support for:
>
> - GPIO keys
> - NFC
> - SDHCI
> - Status LED
> - Touchscreen
>
> Signed-off-
On 6/13/25 12:37 AM, André Apitzsch via B4 Relay wrote:
> From: André Apitzsch
>
> The blsp_dma controller is shared between the different subsystems,
> which is why it is already initialized by the firmware. We should not
> reinitialize it from Linux to avoid potential other users of the DMA
> e
On Fri, 13 Jun 2025 04:28:02 + Mina Almasry wrote:
> +/* __netmem_clear_lsb - clear the lsb of &netmem and return it as
> + * a net_iov*.
nit: "clear the lsb" spells out the name of the function..
how about: convert netmem_ref to struct net_iov * for metadata access
or some such ?
> + * @netm
> This seems to be off by one. For instance, if the loop reaches the last
> valid type in mod_mem_type, MOD_INIT_RODATA, and successfully allocates
> its memory, the variable t gets set to MOD_INIT_RODATA. Subsequently, if
> an error occurs later in move_module() and control is transferred to
> out
On Fri, 13 Jun 2025 04:28:01 + Mina Almasry wrote:
> skb_ensure_writable actually makes sure that the header of the skb is
> writable, and doesn't touch the payload. It doesn't need an
> skb_frags_readable check.
"doesn't touch the payload" is a bit misleading.
What I'd say instead is that the
Add comprehensive kernel API specification for the execveat() system
call.
Signed-off-by: Sasha Levin
---
fs/exec.c | 245 ++
1 file changed, 245 insertions(+)
diff --git a/fs/exec.c b/fs/exec.c
index 3d006105ab23d..49d8647c053ef 100644
--- a/
Add kernel API specification for the epoll_pwait2() system call.
Signed-off-by: Sasha Levin
---
fs/eventpoll.c | 244 +
1 file changed, 244 insertions(+)
diff --git a/fs/eventpoll.c b/fs/eventpoll.c
index 8bd25f9230fc8..0e90d66467010 100644
--- a/
Add comprehensive kernel API specification for the execve() system call.
Signed-off-by: Sasha Levin
---
fs/exec.c | 218 ++
1 file changed, 218 insertions(+)
diff --git a/fs/exec.c b/fs/exec.c
index 1f5fdd2e096e3..3d006105ab23d 100644
--- a/fs
Add kernel API specification for the epoll_pwait() system call.
Signed-off-by: Sasha Levin
---
fs/eventpoll.c | 230 +
1 file changed, 230 insertions(+)
diff --git a/fs/eventpoll.c b/fs/eventpoll.c
index 254b50d687d37..8bd25f9230fc8 100644
--- a/f
Add kernel API specification for the epoll_ctl() system call.
Signed-off-by: Sasha Levin
---
fs/eventpoll.c | 203 +
1 file changed, 203 insertions(+)
diff --git a/fs/eventpoll.c b/fs/eventpoll.c
index 50adea7ba43d1..409a0c440f112 100644
--- a/fs/
Add kernel API specification for the epoll_wait() system call.
Signed-off-by: Sasha Levin
---
fs/eventpoll.c | 182 +
1 file changed, 182 insertions(+)
diff --git a/fs/eventpoll.c b/fs/eventpoll.c
index 409a0c440f112..254b50d687d37 100644
--- a/fs
Add a comprehensive framework for formally documenting kernel APIs with
inline specifications. This framework provides:
- Structured API documentation with parameter specifications, return
values, error conditions, and execution context requirements
- Runtime validation capabilities for debuggin
This patch series introduces a framework for formally specifying kernel
APIs, addressing the long-standing challenge of maintaining stable
interfaces between the kernel and user-space programs. As outlined in
previous discussions about kernel ABI stability, the lack of
machine-readable API specific
Add kernel API specification for the epoll_create() system call.
Signed-off-by: Sasha Levin
---
fs/eventpoll.c | 111 +
1 file changed, 111 insertions(+)
diff --git a/fs/eventpoll.c b/fs/eventpoll.c
index 8f8a64ebbaef6..50adea7ba43d1 100644
--- a/
Add kernel API specification for the epoll_create1() system call.
Signed-off-by: Sasha Levin
---
fs/eventpoll.c | 86 ++
1 file changed, 86 insertions(+)
diff --git a/fs/eventpoll.c b/fs/eventpoll.c
index d4dbffdedd08e..8f8a64ebbaef6 100644
--- a/
The kapi tool extracts and displays kernel API specifications.
Signed-off-by: Sasha Levin
---
Documentation/admin-guide/kernel-api-spec.rst | 198 ++-
tools/kapi/.gitignore | 4 +
tools/kapi/Cargo.toml | 19 +
tools/kapi/src/extractor/debugf
Add kernel API specification for the mlockall() system call.
Signed-off-by: Sasha Levin
---
mm/mlock.c | 144 +
1 file changed, 144 insertions(+)
diff --git a/mm/mlock.c b/mm/mlock.c
index af2ab78acc226..95ee707c5922f 100644
--- a/mm/mlock.c
+
Add kernel API specification for the mlock2() system call.
Signed-off-by: Sasha Levin
---
mm/mlock.c | 148 +
1 file changed, 148 insertions(+)
diff --git a/mm/mlock.c b/mm/mlock.c
index a37102df54b01..af2ab78acc226 100644
--- a/mm/mlock.c
+++
Add kernel API specification for the munlock() system call.
Signed-off-by: Sasha Levin
---
mm/mlock.c | 129 +
1 file changed, 129 insertions(+)
diff --git a/mm/mlock.c b/mm/mlock.c
index 95ee707c5922f..ef691adc78ad7 100644
--- a/mm/mlock.c
++
Add kernel API specification for the mlock() system call.
Signed-off-by: Sasha Levin
---
mm/mlock.c | 105 +
1 file changed, 105 insertions(+)
diff --git a/mm/mlock.c b/mm/mlock.c
index 3cb72b579ffd3..a37102df54b01 100644
--- a/mm/mlock.c
+++
Add IOCTL API specification support to the kernel API specification
framework. This enables detailed documentation and runtime validation of
IOCTL interfaces.
Key features:
- IOCTL specification structure with command info and parameter details
- Registration/unregistration functions for IOCTL spe
Add kernel API specifications to the binder driver using the IOCTL
specification framework. This provides detailed documentation and
enables runtime validation of all binder IOCTL interfaces.
Signed-off-by: Sasha Levin
---
drivers/android/binder.c | 758 +++
1
Add a debugfs interface to expose kernel API specifications at runtime.
This allows tools and users to query the complete API specifications
through the debugfs filesystem.
The interface provides:
- /sys/kernel/debug/kapi/list - lists all available API specifications
- /sys/kernel/debug/kapi/specs
Add kernel API specifications to the fwctl driver using the IOCTL
specification framework. This provides detailed documentation and
enables runtime validation of the fwctl IOCTL interface.
Signed-off-by: Sasha Levin
---
drivers/fwctl/main.c | 295 ++-
1 fi
Add kernel API specification for the munlockall() system call.
Signed-off-by: Sasha Levin
---
mm/mlock.c | 120 +
1 file changed, 120 insertions(+)
diff --git a/mm/mlock.c b/mm/mlock.c
index ef691adc78ad7..80f51e932aa95 100644
--- a/mm/mlock.c
28 matches
Mail list logo
