This website requires JavaScript.
Explore
Help
Sign In
ExternalVendorCode
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
mirror of
https://github.com/genodelabs/genode.git
synced
2025-01-25 22:00:32 +00:00
Code
Issues
Actions
Packages
Projects
Releases
Wiki
Activity
genode
/
tool
/
run
/
boot_dir
History
Christian Helmuth
427f3bb634
run/load/ipxe: support ISO and UEFI images
...
Patch by Roman Iten and Pirmin Duss.
2022-08-10 13:32:59 +02:00
..
fiasco
run/load/ipxe: support ISO and UEFI images
2022-08-10 13:32:59 +02:00
foc
run/load/ipxe: support ISO and UEFI images
2022-08-10 13:32:59 +02:00
hw
run: don't build ld at boot-dir stage
2022-02-15 10:20:59 +01:00
linux
run: don't build ld at boot-dir stage
2022-02-15 10:20:59 +01:00
nova
run/load/ipxe: support ISO and UEFI images
2022-08-10 13:32:59 +02:00
okl4
run: don't build ld at boot-dir stage
2022-02-15 10:20:59 +01:00
pistachio
tool/run: extract function to copy files
2021-05-05 11:32:09 +02:00
sel4
run/load/ipxe: support ISO and UEFI images
2022-08-10 13:32:59 +02:00
