Kernel: Implement IPI broadcasting

2024-03-09 23:53:38 +02:00
parent 2323a55517
commit 89ca4c8a8b
8 changed files with 36 additions and 5 deletions
--- a/kernel/include/kernel/IDT.h
+++ b/kernel/include/kernel/IDT.h
@@ -7,6 +7,7 @@
 #include <stdint.h>

 constexpr uint8_t IRQ_VECTOR_BASE = 0x20;
+constexpr uint8_t IRQ_IPI = 32;

 namespace Kernel
 {