alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

base-pistachio: use PIT in Genode timer

Browse Source 
on x86_32

issue #2308
This commit is contained in:
Sebastian Sumpf
2017-03-08 16:51:00 +01:00
committed by Christian Helmuth
parent 261edf59a9
commit c1f4dad811
3 changed files with 1 additions and 75 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
tool/run/boot_dir/pistachio
View File

@@ -1,21 +1,12 @@
proc binary_name_ld_lib_so { } { return "ld-pistachio.lib.so" }
proc binary_name_core_o { } { return "pistachio/core.o" }
proc binary_name_timer { } { return "pistachio_timer_drv" }
proc binary_name_timer { } { return "pit_timer_drv" }
proc run_boot_string { } { return "\n\r\033\\\[1m\033\\\[33mL4Ka::Pistachio -" }
proc core_link_address { } { return "0x02000000" }
##
# Install files needed to boot via PXE
#
proc install_pxe_bootloader_to_run_dir { } {
exec cp [genode_dir]/tool/boot/pulsar [run_dir]/boot/pulsar
exec cp [genode_dir]/tool/boot/bender [run_dir]/boot/bender
}
##
# Populdate boot directory with binaries on pistachio
#