Michael Mueller e7473337cb Integrate Tukija as a seperate kernel rather than modifying base-nova. This may improve upgradability in the future.

2025-02-06 16:22:46 +01:00

..

fiasco

tool: support to set menuentry of GRUB

2024-12-10 14:12:24 +01:00

foc

tool: use bender hwp options also for foc and seL4

2025-01-16 11:37:04 +01:00

hw

tool: use bender hwp options also for foc and seL4

2025-01-16 11:37:04 +01:00

linux

tool: support to set menuentry of GRUB

2024-12-10 14:12:24 +01:00

nova

tool: use bender hwp options also for foc and seL4

2025-01-16 11:37:04 +01:00

okl4

tool: support to set menuentry of GRUB

2024-12-10 14:12:24 +01:00

pistachio

tool: support to set menuentry of GRUB

2024-12-10 14:12:24 +01:00

sel4

tool: use bender hwp options also for foc and seL4

2025-01-16 11:37:04 +01:00

tukija

Integrate Tukija as a seperate kernel rather than modifying base-nova. This may improve upgradability in the future.

2025-02-06 16:22:46 +01:00