con un clic
PintOS_workspace
PintOS_workspace contiene 7 skills recopiladas de Gzmomo001, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.
Skills en este repositorio
Enforces Pintos's strict GNU-like C formatting, such as 2-space indents, return types on separate lines, and spaces before parentheses.
Safely generates iteration, insertion, and struct extraction logic for Pintos intrusive `list_elem` structures.
Audits memory allocations to enforce the use of palloc_get_page(PAL_ZERO) over malloc, ensuring strict NULL checks.
Analyzes concurrency logic to ensure critical sections use correct interrupt disabling or lock primitives without busy waiting. Merges the former pintos-interrupt-guard functionality.
Autogenerates boilerplate for new system calls in `userprog/syscall.c`, including safe argument extraction and dispatch logic.
Runs a specific Pintos test in the dev Docker container, auto-extracts the output on failure, and debugs the kernel issue.
Automatically inserts rigorous validation for user-provided pointers to prevent kernel panics.