Hay
Date
June 16, 2025, 7:07 a.m.

Environment
rk3399-rock-pi-4b
x86

t[ 3229.288515] <LAVA_SIGNAL_ENDTC getppid01>
getppid01 getppid01
getppid01: [  744.482410] /usr/local/bin/kirk[986]: getppid01: start (command: getppid01)
getppid01.c:18: TBROK: Failed to open FILE '/proc/sys/kernel/pid_max' for reading: ENOENT (2)

getppid01 getppid01
getppid01: [1;36mbroken[0m | [1;33mtainted[0m  (0.012s)
getppid01.c:18: TBROK: Failed to open FILE '/proc/sys/kernel/pid[ 1200.097478] <LAVA_SIGNAL_TESTCASE TEST_CASE_ID=get_mempolicy01 RESULT=pass>