diff options
| author | Ian Moffett <ian@osmora.org> | 2025-10-12 15:50:10 -0400 |
|---|---|---|
| committer | Ian Moffett <ian@osmora.org> | 2025-10-12 15:51:46 -0400 |
| commit | 170d6bb02ef06bc878cbf3450432ea508e6a0510 (patch) | |
| tree | f228677462b12e9cae2803371bf541994ca8d358 /src/sys/os/os_init.c | |
| parent | 5ad6058bf94f953462aab91ede6c15d4d5784d82 (diff) | |
kern/amd64: reboot: Add I8042_REBOOT option
Adds I8042_REBOOT config option for the AMD64 port as a workaround
against certain hardware that doesn't support the i8042 reset
Signed-off-by: Ian Moffett <ian@osmora.org>
Diffstat (limited to 'src/sys/os/os_init.c')
0 files changed, 0 insertions, 0 deletions