denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

tool: boot Genode on bare metal Linux

Browse Source 
Fixes #2829
This commit is contained in:
Johannes Kliemann
2017-10-20 14:11:44 +02:00
committed by Christian Helmuth
parent 93639532f0
commit 89d35bc41e
4 changed files with 63 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tool/run/image/uefi
View File

@@ -14,7 +14,7 @@ proc image_uefi_size { } { return [get_cmd_arg --image-uefi_size 0] }
#
proc run_image { {unused ""} } {
set run_size [expr [regsub {\s.*} [exec du -sm [run_dir]] {}]]
set run_size [expr [regsub {\s.*} [exec du -smL [run_dir]] {}]]
if {[image_uefi_size] > 0} {
set disk_size [image_uefi_size]