3 commits

Author	SHA1	Message	Date
Ben Wiederhake	c25bef59aa	Kernel: Repair build for aarch64 ... This broke in 6fd478b6ce due to insufficient testing on my part. Sorry!	2023-01-05 19:47:07 +01:00
Filiph Sandström	bac4bdc5d2	Kernel: Fix incorrect return type on aarch64 ... InterruptController's model incorrectly returned a char[] instead of a StringView.	2022-07-25 16:01:46 +01:00
Timon Kruiper	5eac2b9f33	Kernel: Add driver for interrupt controller on the Raspberry Pi ... This implements the simpler IRQController class and adds a pending_interrupts() function to the class.	2022-06-02 13:14:12 +01:00