QEMU='/tmp/build-an-os-tools/bin/qemu-system-i386' QEMU_COMMON='-machine pc-i440fx-7.2 -accel tcg -cpu qemu32 -smp 1 -m 64M -bios /tmp/build-an-os-tools/root2/usr/share/seabios/bios-256k.bin -L /tmp/build-an-os-tools/root2/usr/share/qemu -boot order=c,strict=on -nic none -no-reboot' sh tools/check-syscall.sh
The target architecture is set to "i386".
0x0000fff0 in ?? ()
Hardware assisted breakpoint 1 at 0x1080f6: file kernel/syscall.c, line 144.

Breakpoint 1, syscall_dispatch (frame=0x133fb4) at kernel/syscall.c:144
144	    KASSERT((frame->cs & 3) == 3 && frame->vector == 128 && frame->error == 0);
PASS: CPL3 int80 used DPL3 interrupt gate; 76-byte frame, post-INT EIP, GPR and saved IF/DF/CF verified
Hardware assisted breakpoint 2 at 0x106798: file kernel/task.c, line 717.

Breakpoint 2, syscall_demo_done () at kernel/task.c:717
717	{ __asm__ volatile("" ::: "memory"); }
PASS: write/yield, copy-to-user and all return paths verified; bad DPL gate isolated; survivor and page recovery verified
Hardware assisted breakpoint 3 at 0x10181e: file kernel/keyboard.c, line 114.

Breakpoint 3, keyboard_ready () at kernel/keyboard.c:114
114	void keyboard_ready(void) { __asm__ volatile("" ::: "memory"); }
PASS: syscall demo reaches original blocking keyboard consumer
