This website requires JavaScript.
Explore
Help
Sign In
alex
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
Code
Issues
Pull Requests
Releases
Wiki
Activity
Files
18.02-r79-rpi2
Add File
New File
Upload File
Apply Patch
genode
/
tool
/
run
/
boot_dir
History
Alexander Weidinger
8825fada72
Add support for Raspberry Pi 2 with Fiasco.OC
2019-08-22 19:00:16 +02:00
..
fiasco
tool: use grub2 instead of grub1 for iso boot
2017-11-30 11:23:01 +01:00
foc
Add support for Raspberry Pi 2 with Fiasco.OC
2019-08-22 19:00:16 +02:00
hw
hw: add mbi2 framebuffer support
2017-11-30 11:23:09 +01:00
linux
run: use absolute path for symlinks in linux run dir
2017-08-18 10:24:48 +02:00
nova
tool: use grub2 instead of grub1 for iso boot
2017-11-30 11:23:01 +01:00
okl4
okl4: support run script name containing "core"
2017-12-21 15:01:46 +01:00
pistachio
tool: use grub2 instead of grub1 for iso boot
2017-11-30 11:23:01 +01:00
sel4
sel4: add mbi2 framebuffer support
2017-11-30 11:23:09 +01:00