From da21a3c33889d6860075c3da05e747020fc81374 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Sat, 28 Feb 2015 12:42:22 +0100 Subject: [PATCH] create_grub2: ext2 default parameters for image The mkfs.ext2 heuristics select the "small" ext2 usage type, which does not fit well with GiB-sized pen drives. For example, the block size is just 1024 bytes compared to 4096 for "default". Therefore, we enforce the default usage type as this fits our use case of dumping the image to USB sticks better. --- tool/create_grub2 | 11 +++++------ tool/grub2-head.img | Bin 4194304 -> 8388608 bytes tool/run/image/disk | 2 +- 3 files changed, 6 insertions(+), 7 deletions(-) diff --git a/tool/create_grub2 b/tool/create_grub2 index aa8f2cce2..94d751ba6 100755 --- a/tool/create_grub2 +++ b/tool/create_grub2 @@ -4,7 +4,7 @@ # \author Christian Helmuth # \date 2014-07-11 # -# We generate an head-image file only. This image contains MBR, label +# We generate a head-image file only. This image contains MBR, label # (partition table), and one primary partition where GRUB2 is installed. The # image size fits only the GRUB2 binaries and must be extended later to include # further binaries and data. @@ -19,7 +19,7 @@ set -e # config # -head_size="4MiB" +head_size="8MiB" head_img="grub2-head.img" # generate image file @@ -33,14 +33,14 @@ fallocate -l $head_size $head_img parted="parted -s $head_img -- unit MiB" $parted "mklabel msdos" -$parted "mkpart primary ext2 1MiB 4MiB" +$parted "mkpart primary ext2 1MiB -1s" # loop image as disk (loop0) and partition 1 (loop1) sudo losetup /dev/loop0 $head_img sudo losetup /dev/loop1 $head_img -o 1MiB # initialize ext2 on partition -sudo mkfs.ext2 /dev/loop1 -L GENODE -q +sudo mkfs.ext2 /dev/loop1 -L GENODE -q -T default # install GRUB2 mnt=$(mktemp -d) @@ -62,8 +62,7 @@ insmod legacycfg terminal_input console terminal_output console -## just switch to partition 2 and legacy load Genode -#set root=(hd0,msdos1) +## just legacy load Genode legacy_configfile /boot/grub/menu.lst EOF diff --git a/tool/grub2-head.img b/tool/grub2-head.img index c2904108b43142b3f32aa22c12d82803aa2f89b5..6e631625471349ec1a725b06baa8170b71e953ba 100644 GIT binary patch delta 61298 zcmeHwcU%)$*M9;*ij)8W0t6D81nChef&wZoDkvy+Ryu;xq$t?HhQxxXYz74tTVxe$ z(4eAXckKmx0TowWS=TPBD8F-Ol680t53|4b{p0;3d_IS{_s%`vd+zt1TW02Frl6oe zrJ$gIvAdSeI$@zrLw|JUd{tgPO#_17*q#8UK=O^gCE4d?KlX3K_qIp2Ti;D;MKbvsA{F!J^gG87H>hVDXK3;mN`(;J9g}1gJl`!`>9N25~X{Ekz(w&uW z*1mR3rVTCJ((?7D)wt)!2PQ?j$LxEBY0jLm-(Mok0QFPe%eTC1dfMu4w`71%+Y!Gr zp(nT153`qy5?9XY*B)29a!Yl8SwUMrHXoJap_JKox6F5>*#lP=SR)X-?e~U-8cW{{I|g;7VoH^WP0${;KfBA zT8R>2HmJW|lWOi&ux7`JJ#R<1rR;9%W6Ux=Zn|#d4GZn)-mGx8Y3MZdn$e-jMjiz9Cuqk#^9f_;`b=iuNFI9mqcFH| zynoWdvlklubsqG4EC-M`el+MT-khj34~)x2eYc8}=BKsExlmw&x$WrklRxI|bXR$3C?? z-sW^PCp}p3Hh*M}L^uc3gYMqb`910Kdp8xsqIVA}?uXSZyESiALiTvS)d4kkdV7TD z9lg$7G{DqwEKkM0{IQAK*T;?n*nyE55@7+T|Dj@STJZUDS;*S#$V=sx)?=*iHXph- zCAjid%=EL}OOIN)+qy#KT8Pp86$M#lrA zH?4m6IBU35PYsE%5Yz?y%o3frxr^Jj{&|^J`FP5JqMB}+asD}0GhdWE2AaPRJ~cI))c2ssn4`|eBV@?CAG8%qyKgo{CawzKQui(7-oEv#BE z&RFDow&hUC=(du@ab_hWrwn}%(rW)_rp4DI{^^^F%MYo{d_9iSVsiL!ar7=|xTT=3 zck8V4`x(|>d*;81{=DwI-n?77pEf2h$bWci;n+F%^Y)oOx!S*Z!pljz2aI}EnLOtF zvGlLUJ99Q?VG?06s6TkIGbC1H%hzCYqo944Ph^e0U2J@ML!ZkveLd%UkEy7JUcD)# zACgvlst)WC8!4-S6`<-C^EQbo56MK z9bWzGu2htKF*GjgHg@Ee*e5?t^?dYb$n^ZjY1cK?JZx6^+m%`G`*_;Kwr#FNSPJR} zzie$U;Itg9_8Ap_#VU!jIY)(a@YLs-3D^4W=-z$yyOMFgq&s_Gcx67P@Y?F3M{TVi z=8b9nd3wuWiBJUUtrxVCM?I;CZM$!D_U_N(1r4)wV)wed-1Tf+d2eCfsvOOuRc)b~ z8)#M`&f_z_YDZ^}&e(T&Y>mTwiLeaR|627tw$Xda%fb-V=7UDVzRl%0G`2XH?oVS@ zy;boPSXh+*bn#@l?{t4^pZh##>jh(t9sY$M zHOjYzUz2K^Z7xV}3b{oe{mLhzx9Me3(-Hnc6&*vD?x*>_d;IS1@hyBUkq9e5Jt^eW zzT=~o-;PYb7JtOyom*6#dHjnw>y250Q^mbT-BY<#((wAa@%&NwSk+UHz`pk0qqbh& z6%kUlSRz~p>d(FNOEcAvw~yyOTO+uj;db6^(EC1m4V>MQqN}%k2WB}jIHH?#2Dmmb zt9)}}Y7>LLI*hy**W7P~L|6&x8}Ia3KL1l~vA5xGQy%z*&%I?CUF4!+_~v%5pD!^>Dp*dze9Hh|MjYFtP_ov9(?rU zbQ5E9-P6za{2iuJGSh5!*y!p5Pc}_DFgpC%?mZO@*W{<`A7JIh65(c04?J^moz_QI zdd{T?Q@`gK&;IR+hdEzXx$rqxrar{sqIHhjh?P~;_)HSKEL$VPeQ%8kE=uG z4Uh=Mpk7&hX~1!>-jC;atvoQH`DP5J)-!YamT`yP9N5;Omm7{TTPB9tb5AF{`8(5DKgplG%KQZz~k(ecYjAb z_53E_Y3WTe!K#kGSd}dBnl;$b>-Qd>>`M~iHcs4p)UJjj75vB3l z_~w4ZT&^V(alC0&p##+R)cyGTi-RM)%@Vd z?cz78=T;_cXlJAuPn%-Ec69x4@8sJzy*$pH;f}geci^zk{n#Fot#>qEeU6M;cXN(J zxD(WMRDInu%A?+XndDMzlFR0W+^bA% z4?eOvp-9W&L-t;Ya5t!z@}wH7Z69Y5#{F*8Z;|eP^;S{SpzUH%LD&vwPu9iLeIL{rwcFs%6%~oP00*M7W{f=hYWl&yBmcJ9J9A;JrtBWQ5w>yH^(Xym4xVtwgvV z)X$AddSKo%Njx^&KH!3oZjpl&+uQC(OU)qTd7O4{1B$ql_@ zXsq9p`d6+0!)sk+?B&^;A8+)UW@E1}8qnPDgWC4x$8_%V8Mi0w4Yj;pu(CX|Od>o2 z>R*PnI9|CqNZtOE0?@Y3eoN(gqs|P$nNxNwdroj+-)lcl za}$XLdefpzq3-pdewVW|@z+02IbLs{%X`y0W`~Q)uMV9RR$Q6Q zKGyB<`@p)zcMpshQ2sgTW;K7<;`*b;nq&NT4e`dj7qB+GoSuZUf4Mc`rG4%5A5(^wJsZ_t#G+X6{;H_o>3`k>&))A-ijh zKkqFcSbX`BM0gg|?{5|fmX7jdO8oZ!JZ7WH{9$u~Z9c!um|m>q|JSMWDlcdwj5a=+ zGAHwaK@7K?^S)-^BD+m}eDdA|NQCD=z5Dt1OG+l&4{|;*L~nV}+M^}35m649Xywym zPnRD}*sl}SwD9#jvQoAA>!ULhAKdU^1iqacV>cq<$%);S6}u#&vXDk;;5N(IEn zT6pQ5)i`tK>XV%(Gx`{pN33D^n`zGssSBEVIyBC%F7Jv#Lm%^(ahF43YgpUpkKa;1(2J+jo^-z$o4^b- zD_ER6ZrZ&lmOpi#$74AHX~=@@DGN{Sl@+ z1U0ZT-b`-@*kgu1Oj9gui7^A9+Ofc5GgE1_AG1@TW>+qXU$99S-&&bS!W?(`Ho@oyG7Vqu0DNPDY{teGpT_T23N5B1F^{ zfQtX2R-vh2#lFUU7`@4u2um*iVeud)!?}j9h+R5iGC<i55cQoD}0T88D5lNMKMe@zJX#;G8d{~F9W03^Sl_|WZ+Z+}8HU2L z1`K9u*eSBL11vZO1KI1v@Sy}NS`GFZc5Sa3*xQY;w+|&?tl(#+nk{H4GMP-T8bPlw zB~;N63M8mQsTzc>ew0wL0&q2lR<2@W$^3Q$e$@$n`;wuZeqVW4E~vsNj5izN*A}YV z6$_fkUSCE(N}yQ5Pzp3?fUTN@t^Sl?fm}+ypauMPC-@DZ1dJ8LQtK63U~+fD`Ev&f(~KnK#H)_ zsMTMGFgA!1s%SVKp;1v6oInqR38D{T0AdKjLW8gkV-UF{zU$2UazVH# zOf+8xQ_ZTk;^yO_lHd;}emMID$tl^MfWYl6)6VuVuy#%D=89)O)&}N9>5_ijrbR^yD5w;ri2@eq68}%L%|I!zzr-3HyBL`6)Q-A z&P8FuF(YgpLlG5vLSII-VrI$n0~ZYDfmnf9gV=ze<)9rgKa3?8=W%RklUz_kqVV^I zbYN3hPn&}`a|mx9M+sUqj)K?qAlzd-B}8Hs$u?2U4Y})CfU%Z@u@fjlZ-!2--!-y5 zFw7_1B$A9=`_%uDToA)3EMs^)1@Gg6!92p?pDDr)VyZd0C^i_s+{9;g8qEO=?g`>Z zT)R!Ah>n&$aL+{17)S2jR)lXyQ9>0(Qt${T!Xu(7A<9Nf3Im2UVQ35))?3Ttv0P9^ zQJ9!FV1#$#DXu-4TW8?a1;mx$HkJ}Nx^B}5R77krG#UCst3MlX2wM<4kRBlRAbb!9 zke(op*q#wgb4DD+B4JSJ%^0Y-Mtrs+l7ro>DQQWN;d|4W_7W zWT$Z=+9E*)YJ%>o)VlDW$OY*`7~2r#-UHo88X$u8rpHjlz+~%tgTqI4$Pg#ic!h4axmCCn3y{= zC?dx*H5?Q%PNu>eSoQ(wLwL$mO39n6+O!{R#`eHnR_P+_+2`gXSu*b4nBfa%4UAw$Kd>w!;Op2-FG!lx~mRU^j) zP1hrEd-*V{E9$xA0l^p0{Rs4#{{lS}*r0If*_UX*S^okVP1ElwTz~f?pl4Ht7EPhx zarh%XU&b66Dn65*)O_?@E{IMPMuo%kCNS2amBPhP0I(cLu$=!dpo=I#_Xp?!1atvK z=oF@gg(AQBXVAq~j52dv)c}vi=2C(bMSwd{xKtTNwAnl|Xt2wT7ji*Hq3}QKs_|i# zQDiFFg@*$JVFUy7DItr}D0I7UKpjD#E}(`A_jzq8G}uV&DxGDIKX_b72EH)jw?E{9 zs*J)iBGBYc;lg+nm^_*=xsW0<>TTYz>`=rpc{MTy!TK^5QGyj^P`I}~7K}x^3&w*? z0Eq_&H`~6CGZ%EN?%Mw z*?k#HDWc|4bHPbqauUJBGD^szEDED?GGS{m88M`O%b#*V44|-#0p!#S3RB2r0(Ln? zSTyHRxXm$zKrNw&nhj%70N5`VAQ1jKZYmfBE8NkakPpIKK79{T`mX*!kAT} z0b#aXEpV&|oje>x63gdOYN*q|#kxZLnLzx7jCfzoL`5!0AHwLO4D4J6t^oFQ1v-%c z6;T0&j)3>ut}vqrOpJ^4Qz zCbSd`FN&baPMSyf%2-RK1h87eS&_+P z@F@VA0+I@nMu4v)gGXk;Z>nU1upo>o2|WTH#PH1&TTh>B;$p*<`VB&R5OC}8-XUhL7DU}D?L!9gs*MsafbD@xVAoGdgZ37v* z345j{7eo?-G1yy}ESgQBH!dKYW+N3qtU$IiLQ%7lJ#ircx``Snc%pMXziSQ(q5g|N ziU5J%H=lBj?J4ND2cDoTjN_*_b1a9T#d{z?%RmVZ=+ zykY`%8=2W?wUZihLDh#a+Ib3N2HHFa9keS>mlL4dser;`impAYgaE9j0*DoCBv!tP ztR#61q!=D6%nX=sG!0P=B^pQ z2*ABm0I>q}h}u-Km1JiqgPN>Hz+McA3>Y5@UT0QzmkX*X3gbfo;RrSG45=#u))4mA zP=qa{aCuP<)>aVK?xP5coS=Y$6Rahy-A{&1!AiA}pvwP9fj{gcGH86s zCWl5x1Pw>*kv3YNAcN~E7+gshTuTkLh=PM{AP^5wL(HZ&CT=7^50XJ!4i)Lh1yvrx z*ws9atn#}lbgoSV>LDtqurkwdQsk^-N$axBQ0NvAF^H(lnunfKG8uJL@bM;d4yLdc z+XdjLc6*3*$YC;iM$;@^xgcX9jD^3EapLX)_tq6vfk&#sUO<+B)PU?Gmc&P>m9T_@ zbL=M=KS~7=Zd>B}fE8Ix9@C`+W<446J!7h#T#!D5(T`QQXcig*+k_}xde#!a$0!5K zx*gmZ?#ku^1oZKL0lka@y$1={6J*$2hXkfvkXaDMHWagnZsHJ0;ikzUaD_UA?8P`q z9r=p6Vj9Tv#$iA{LLi@_f-G82frO(338%?`??cDw%LVs`&~ey`pRHsh6d84GYCV{G zj4<^KHRSQ&Wfbll94E{@OAWMy0s$uo#NT9y_)MIg8EPOGL;wmCi*j@yhJu+V3D9$t zK#7h}Mxi5|B4E!`f)%Z#Q2Wya;sr9Ft)f6fxuDuZ7^7d2&6Cc-e8tUAz5qT0&3_i; zH)7DeNDUo5$bcW>pd#f$47DBacb)^_^T=#3#w9Ai=m#jgt|oVkUTA5EG3$9wjLT%u zfKXuFCxCBI1I8#UoErf327!8$8Y4i{jm>dNwa0DYgZ{0=2(=(}A%0C@nY4++$} zWYh(r-Pm$LmZ31=7w9)r6fUb95vVWY9wks>6sK}`rHO#OPZ4$vh5q)4fP6rP)X4nI zmJ6yr3d`CHJq3haW{R4NyjFZnpgyFC3Rh9iMX<+45iEIjcmnO!4Dyt4vPMeqq6!M0 z@H?PBLq>Zsn#ib2MXyZdf~-T~@18*6hS+n0iAR({onV($S3JA`YySXwN$~KP5;#_{ zmI4ti0Q)CF#1k^C#-Yb%azW;yFhK-Nl4y&dBAdx;&{qKb7XjQ%2^haCVl_lDGAt$V zKlBT?jj~_3J*5PTUzJdB;SWT^{Z0lgYP@MK7gS#qmUWEv6uA8e6nr8mct!~pZDmAT zRl4F9-QoJ10Devh7$0&1TW2bU4)}*$8tpSce*tL&`3mw4q#c9?>moXO{=j9tAQ!34 zIM0y_G8=^nKiNQGG)hHTeHnjHLxd%@o44XB@JLlq0aH~$7$9oMWLL&ZN(JC71##vn zE+UvzL^ps|2hjl01knQN4x$aB1EPzHHD|Pti!J3JwU7&93Wa6Pw2^`{=>aSg!Fn{R_Ri>SkOnXzKmD@0(J zu&*h?Zl>UdECTWkMMz}n2nv=O5wLH`uw_%Xa^-?*iozrUV0%`V1Q-*r?GF<%LDqB>}lM5mM!srzwa1pW$=Lq{C&KM>6b#7`aSesH-}nM{x#3dNz5`>G8doezf8Raz2x0Va4EQGOR-Oc^cZN8pZ z0o+`+nx@!K0|<(NW6Uzr)*4&TY|CMM`4`wbDe%iD$Y}dthIJrdzmhqwP|dZG3t|F= zaZeC!r!Z#s1b!V6su$xMB~-j`IfpwcCYQW4b^>T;5Er8P+9|@rOM%e)a(?t+m4CV! zfWmuR&{KBUFQ}<{l=RA+%^}ftNO=4dTLgiQ-v=-2p%O*NbbQMs@(Z+ht7f{e`k*36 ze{^yg2vaT{$`I|K;2OR}8>)~I!R@+^JapgxoIu1L21gt_bI)NQTVFy89 z0+vD1S}J{`9|5UGhHSRG7$g@|Qxql@slSFGOGM_Oz4PE(UEw+)%TZq$=}qaO!*%%0CPkn9bSv(uCB*WiA_(>?u=(N zo7jm?>g%iNsi?TP{I_f&SjA$tZD(d7py2;uj{k$}-nSaAlxQ(s?gC31mJt4I~1&&g;HvJk^CX1#`pA?sw7ZsNo=aQNpzyGY!YgJLb zc^ESrGBIfy^wiXt40J{sR&Tyrb-y;ZMODw1)}5Y_n}8T~Nlu-F{beE$NUf^bjjrM* zcEpeNBUZx29;We~ohmcslTV@io+4XwE2&kzX`}s*r_LIplm6RW7b4U6MLJne=NycfQ&F}G$fxQ!Z=By2t#CwStF@t z;tVr4@n*9mvI@aanK5M6Hdjz3v8}m+(i?b?-_N`Qc(6H(3{0|Re*q7%8NqKN8@IfZ=Hdc7x4nW*KL7u(*YB*GlMPmel?*5uP%@xoK*@lT0VM-U z29yja8Bj8yWI)M)k^vc;PpkzSFfRX_v14;&z3@8~;GN5EY$$*jpB?C$Z zlnf{tP%@xo;QtN-XwTXkv|n%wzHcwYpy|gwYT_h=&i2KLk}P0nTZw_9oo)E`JqEj- zE9EixO`YxX6EnO!1y3=8J$khU?RrvPgF%O#cM*ne;v&Nzci)N249VLQVUr&gTEJ14 z@^>5F{;^_EZz#Z)-C?g@5esU><}0cZP7&L?)4GVNSb%rMuu(x#?@i%UlcH0bS!9#( zGO}5nmw{&}VZpXe(pQg(t%vw2H@1RPVjiDd$ah|xycO|s8|}PoVl}#AOs!lanEJYGtAOg!(WgtYYd zghfYQ+ky0u9(irwUx7oCE2a!98Bj8yWI)M)k^vc;PpkzSFfRX_v14;&z z3@8~;GN5EY$$*jpB?C$Zlnf{tP%@xoK*@lT0VM-U29yja8Bj8yWI)M)k^vw=Gy9bs=P*i(yMK8nrO_kmrs&kb)Y*q@2N@lqRhi;4qS9zV7;vB|TD)nT(H zzF}2d#p-PD?|u%C2YWr8+{m>in5bhl*>qM)ijkYR(n!JUK5-i_7&W?XHs*YHn*C13 z=(V1~#;~Jw7Wssz7PVcSG3#_M!gliZdJ@M zal=ZiP4uPu-X?!d`ED7iDqRD!a^f0eUKQ+W`UkAJg8e7GH+F3;dop@iIIR|a)#3Tj zZ|&`yv>~(sgmwmhhxbT$tL-Kh7QK!w7(c%+N~h^9uz|$+ebF~VAYu%W4M=}}tBT%o z4TuG7!r|K5+uLy@;pgWlys%z)BHIuTE}5y(u7fhYxD9X5-Jp$~U&ro2XJT*Hv2EB^ zUqKInAN$5VfR4*XHIE+oTnlqv&+eh}qzxOjp1p=X7kj-PGTQ+1e`Icg%-Wb^C1ig3 z1shq(4(>)2hLu;c9q47)sY*7#I|hme&H(zsGOV?d9p0_}Ga#{~!#A+?>Dcu}2KrdW zMj&ehwxZs^MzaBU;lU>{w6I5p23)m5Ag3L3zhGcPFTz%AV%x)Esy*Lctqi`g#>Qgm z3~ivGV~_#|_swv=64U2H>^U|UVrqQ&XvcQUYLVp_{mW3rFt7u?NEkjRNVCV>dzqVJ z{j99|V;Ni69%@`DO9P8Z^f8gvZ(+0O^bqL{F?+abel&1R2b)r5$2{4wNOoKXM-?b& zr7XT0#Vu*H&FILb(RRqvrLyBg+3}t1s1Dc&-xfp#UQO>Siw{R}V_H6KJPKIQXj6y; z+B8{wku1Ja7Jmsx1f&L4MMrBmB0wKmd>D$urz9t!qYjOhB1@l&;yfBH55>Vx=b<dsnuy#8-0UzW%DvO^)arl1VRaqQ;Y)r)lJ~JhYqfaf-!Smk8;^=cb2nT%+ zM+LqThdwZa&ZDotpmZi2Rp84VMzXjIIyyj2ywC~w4sjq#fcPMEw5HL9gA%HVIXbU} zy}f1VDz#$xbUuRCTfra^Y2G-Xv*D=H{Kr90e80&JQhoQlGmAB&b!>!46|7N%ATcPlVq3%w6G24ev zE|wVmQ#d3|aS?|+o2Q`JtA?ZKmlS2Fx^;?9iBEFKvnx*Y6$QN9=a6R=@$(K^YytfK z<2^^w??3S0qqHe3nPJh{Oh!<0w&U6Xufr@pxyi(AfdXg2+cChW(`5nMqC-_|El89S zulWwJAeTb?L?y(6{K{@|l7)hjE72>*Gdg4x;V%bYYN4Q2#HAKw>hYdYsVJk&{S}=O z?}i@}wJr6IQ<28~Zn1VM*<;9#igPm7vdNyDfpDn?o*Ooyou?z!(Xe_)dQ~@Sgsr?H zK1}vJ0huw;QcEAHPq5D!a%Q}p3oOaJiI-ZE>vsi_Q)b!dOPGK!K=C$hux#w?CEX(Y zCqTC?6}_VTwI#XT@Cq`y9bTdC#PuVUh38wHmNwmhg=67BZ;fP zwZs|RAGJl%d{3!oF83Vi#qNY}mvTF|ql)|A`$ZjB(XW*nxO{TO@U|t&Y6E+*uyw4l z(y@H2Dp{lbXI^-}zLkPCApXMn5G(NBW^Eov)=UVyU4#!e5mw|DC&uLH4r%*Stk8O~ zlHciCPwXxD?-h>r>EM2NBh0dDawO`2I}+|ERaT1pq+U_IaE#klu!hyPCc6>dgZb8t zovoIMuL^`%lgENmbS05w4Qu%d>kw%`idnrXVkkiT+8P$BuS~VEE88uY*z0Hmm=J7j zI@BczeLBF+26W?XBFJq*gbBy2wIP`(KH1@CX(57x%mINTBYOAY5g%fR$;!q~h6+aN zgbwtOrKQGuV7Z}!04!>lz?eN^&;WtJ(>uz;O?EmnF%BhQ&Y^-3i_n2`q}2G{S|fvk z2Fh|}B_zaSmqG-l*u`OjzL?1{0pD~?@Zb?4VZ(=q$ns22O3qBlNKa3}n4tnoZ0#_C zD<&8&U>imZ{wZjLyN^JYFFScs0+uyQ&{J<@aG<-qfTS3AX?U~Eu8xBNFxihTPVwn< zGHtNw%zMPoZ93Iz>HO5|&QHDX{8Ve_r`kF_wb`~)0~xk_@&^WxC)h)OW=fe(wy#~q z(YC>4cR{B;#Z{fdRd;^s3ZDnS3@IZ_&_?Q0;u>2w%yyr(iPYq|?Th*3(#X!4V%KRE zGCDt%ZTI77SvX5jIICCTERVujy$fe~if4Hh{aC0nMah7Y0VM-U29yja8Bj8yWI)M) z6c)eR>6WwMrsf=we2@YVH@HRZ4k7^Q)eY;hooR{HOklcoMi}PNrtbltv?D%T7n7co zjXqq5)wJpJv81p1wpis?{b12IeOnfM=$^)+Y0=}ddiU<-iE`0sSjIPfmbsfuJ0UJ9 z9i%{B@t`?ra#!J4-W2!$-T zMv@g5^_!7{Z8#3EL7y}u882=Wj-p9VN=Qk;6CjRhoHL5Va?crgV`tA9Iq4?iI^F0g zSqKSBJa5zot2uAv2cPX@4avd*wCJhHY00?)qNxA;lplOB7pkB`Pt8fmPR2jthZ8`{ zmFcD>rzBdvtw`uX<|H&Ha$Bb6UJ=f;iV%|Djc%Kfg+?}426`P%qg||EnYtZ33VQgKl z6Z06ZrB2UHBr1Sa>T)A7rXH8Yx`=Dai;YQfNr5Zy3_UJC|2lp~lRhakB|Z~<=@8;K z@U-sql(by=_YY}zAdN}urjn8#7n71eqdmmq>Y$esn~*k*)`-V7=;*a9E^&#Inq={~ z^vnbV`v~GE)xirOKRPdK7%lj`BGEE5Y;L`|BYd=WN4@zHxQmb4Pu33okx_4x_~y`u-S0MPqg3FW9B0P!0xy?*N4cVNzcek zkCm5z((ne){hoq45_}CZE;U|eEjIhO`2+_-U5lQXFexEd-sF&o3e8MN&PvFXHwFEK zxd{|%dcxcW4t-CUPya_bDkql< zy4(S92-4-++sT!3({g0C5p{)lR8CGZK@PS;mpcVCzJdlE?DV+y@Hh!&)TB>Kj!#HO z&W94P7(K2R~3jY$khvjczjVMczz1>CZFWH&y&Nj-m|VSipHB7OM~n`%nMCuKZ@i(%S%M z5F1%U`(Y++`WBeB4wsEJ!PqJ~Va^VQK7cEyq^D=Z#>7oQglvjSMVs5JXZ`Yywt(-pEvE znG787##mmxIahnD3<3?581t(>JNW>f^4-JX;p_K`151?4>zf zxGcPvddqYZvtU-ktiI}VvG{XFtZ}HDA-|8!NhBseh?mH8Gh>Jj6N=~QPM?&Jot=@$ByW6jq^|7>DtJ#{uwN`LmJ{SJ2M%dU2E|;w2^F7a=~>p z>G7#iY10TZXlRT;_%XNx5Q$sxG}8PAH3@<=v;@HGk(CgTARoJTzzNj3bK(}^d1=I4I2zZ}K#MMXsyQi(=gJmkYaq^{8G!Sn^-L5{n}`iR zVXleQ>u_0EBx>8;wrm@whJ4uZ^l(WhRsn75P!zEWa7jy;E`?8*Z=mP@?iNqK4gAN~ zyQxH=HWv3$ZGe3St?{9%Z-J+e3ty`)qO)kf2bHU(sIq8o^@qFZs&Z(>zwB4fL+N32 zG~86+IAw(9FR zx+*K5rfu8EwxhFYl{U4ex8cOWjqlCZLi}6sH_oqc9CT2V+Xw|bo;}z~9Sjr<++aHk zfM%V)XuA{&G-k2w4nex@ybQaYaIDz0q{lJHpW^9YKNbvVS+UBY8{iZ+9Cg?Q2CEoY zImSZ1iF+cP{8jSVv@7<{ou@#?IUD|TZ2<$CPE@lwleEV#I^DDRc_gM{i zMRjZYOoXHE_HVxWfVk@_CM~9DEk^)}4Jj_${OxJWw4% zhxEF20Yj%lTrh50$O2$4?QmVF1;o#8y&0PS2?{O>&>wyREZexxXt*cT;AX~|;r0O3 zEptuSY^Xt*e@J*Dcza})AiyFMtk4RE#vN@LeU`uh!;`Ef>&(eI=vE(55w95*r99xUuP zB{iiOGF%%|kunDqoC;LZBLHB5XJYzz$bb5LVmcEsH0Wyj3rOEPetyPDh`;}`A>$OB zKRd`|>K2H{u9!V_4b*g}E*VX%aE53Nlu( zgQu$jK-`74?iNr5`% z&Ra!CKw;KJTcH`$eDu=hB@dv0jhy0T1pv@uWL-QIfFGW#E&c?@S+v9z?qJxF;o2+R z!MjC%8-_QLU_OFi}w3ZCd(vbrziyZ=X0`Bx~%sd7X41UR4X zXL-B4I~Z_*yJqcWD7e&n!@8Al9DB-Y{To$3+QUE2S2}`X#?1*EVu68r`!Acafl5yF zubT&eQ;Hr~Z#xHu4vQYKEerr}K8dNG4mDhVJlGzvPH| z5#&40mmD7g=>jjSlQr~w7A-B}+PMpm&~(z{ydhY+GG_9HApj8j(d_zus99afsfHC$ zATRxDLnSKU#r>Ps5RYHo`%VjTD#n$&(O}5u)BJl=AU(Rm=D|~-JkzS?K_AH9XYI=e z^Wj+d?c;-IfH%uI<)H|Uuf0z{w9JQ^wd$EQM!~US@!qH9kTE;;<1=VcTG3PN1r0I| zx_RY=DH!%jdiO;S$fq%(^kqGye{`??vl$AUH*?-!UU1$ee#UDnFeoF+R5f3yGJBVj=4leqow6;Lq8|KR6k zKvk9QurC2nP<^a*+c?O#IA~5=4){Q8Z`#*#Fl6yF0p zHU7A+SEeW#P%@xoK*@lT0VM-U29yja8Bj8yWI)M)k^vi*_%m8{WedqrH D9S>?3 delta 25812 zcmeI)cT`hZpe}Hd0}>Q95UL0SP-z08g9TBs(mM!BM-&tUte`MfV#UU>i!F9VqsA`w zu2^QqPV721?2Pq&o3NSOdo#=2x9)oHpL^E&nL@t3_u1#1eOh8^X{lyuX(_jAFUR1j z1y6%a9R4Im*iD1HFkxK-`EJr5oOMHdU*`S(&h+k$KGSE%R@Mu2ZoWEIuzk`6v!3}v zR`YFbn|$N2Tb+D*_`FTm`(s)`?xPk}-m=kUGdR&2^Y3IA`i}VW$A#C6+N`=e#yIBt zf!>pQjTgD59lCLG$I2G(2jsqVwb*9q_k45bhi7Ye$2M1IeD4~<4a6y z&bT?HPvp|s)iqM_aKw)so0)fZ&hhNhUABu`%*)$(Dkvqge$T;!=X91$;XJBt_qo;~ zDeFs@4)xiZYu@K@{debYj;=F0;XOkt&O>~{*;7+~+z>1raptq_7g>aVo5OmiitckY zH+bbd(D%7m@OXTefPNt{pYr(Eaqm371c-4nANm73U*fJ^lTsgMoV69^Pv4 z;OgC+pmUwC6g%EI|K4!1e_|K&D+i5@R*kh?89(5Ghu}%;uA6+`22?PX8e?wGk%|iu zw=5qx_-S*M1orO(V{F9rZZ)u2;zR^G6N1 zJnIdQLK8Rp?A^XCWI>_UyfF(lEHBm>;Pp^wH2b$vM?x-0#p4i9x-FDGxOd04ziao& zl1&cr1E$Q_68^X=e?`~L(_+fa?%IbrG~f1arel3Xg2u@yRSWmLk8!m4G4`vMR9uYs z!&^6|omu}T^GIde_J7vg99z97E->F_$H|1xN8b5l$$vX_X`V3~JHf$mXK#&+8_ic4 zi~Lu<^u2wsN-Ca!c;~D9mpyssbKi6_*LJJEe0B8D-)+C84?3|d#qrwGjk(j8PkxYU z_Py3?^~F_5BTW*D>zu;ouDF|SqA3-ZB0eX@+r=v?uTZ#g?AalMYg|G$_`kb1G%IC} z!Q%RzX|+oaa!nk*IbXV#dsV02{VwOo-n~V|sXB2^v!&vRh_~+%v2B`hw*?b!hktj~ z-h1WJmEoL+AQR=^Ri^O zE~AD8Ef_NK0Jrz2BF)0CrOVq&#btKkdX6v z-_+CBwr{G>*%$xYr{UjU53Ro1x5MSa+=xvh{N9X`O2yL=AFx0B(ejqF9(WJ6dJ$Sa zXw>f|_5E*4uS&-S=Jt6UaHgWm?;8*JB;G!%H6troFa79`=n6-phlRT(_EPao#2w78 z)`s*92)bsKi>1*l1xGkohQ);E+d5FK9eyiO>&X|&(ra58j;!brr zT;(T?kUcwk_)n8tb{?N&uCE{7Ci2~1?I!uxAGlp?>uS{H$HzmvJXYsR#S0M6zP74; zf#7l{txwwnTkBLkxnq88#_?I%Pfpi$%l0g@Uhrb5%)M2rYfT@`$huO_I`=L?MS@GK z%1=I*iYpMG@4m=BbpEit#b&QGx}Q%gE||7||IJ~m?r5Z2@UQ%J^~Y2Fg&z*i*N(Fv zZa(-@=dY;?qCZ|f@AkOhzEr#jaek5hMdK}&mruT4H+EjUEH1i-Wu;)kvRj6sKm7c1 z{r=pQVREpFAH>GxnqRwFeC|WQxmA0@Hd~*$ClxP2e5>%x^JJ#4dsxw!U9+W^LNXrT z`Q9z=&az4GH@;|DWm-3JRdcJcUDmbBwu{tgv*pF|qcu0bwYpQ)Z@*N$4DolT9XcM& z4d562JvPU6@rkALWU`h8Q`SDU-IjfEWcsp~UwZTnG3iq-IQpT**m@n_)F20)zq0v5 zOY)@R6^L7KFOTxKuKhG=pZ^!1+7axJNhhr@T-&KVc$nb9pF{gx?!Noj#q$eU;he*{ zkAphg+}HZ}&UX_F!(ZQ(iYpO+n=`Mu;6~0&mu|<-?XlcDeP@@n(D7@NKl7HfJn&oVK=#;H+}H(RGXTX_2N#YmT@3#8)Jh#PBvK58AjAhK=i;~m7CM({VA z-2X1~Z6>_>#Cxp$T^ENgg@ZcYkLr8N{7!7rG1G9}kDuTCeZuojKDM~Ei06#k`K8;w z6Q2&f?`%=@Q>)uo#w5B`Vb16+&#wR6_|$OQ%FPB{&OWQlNZD}j$Hp$3$KK4lq7m~j z^V$KaSc3RL@!jpyDmKnOa3O=S5mi@wdYboMmUzB(aa>s1tJx#6a^}_leRYle&*zz+ zXO8uAD}PdPZ6%xO0;0SEe-m zuMJj_f1fs$JPldmT-I(_PVWt~hkvvT+_-q0RJ;jsH;3_WJICzGIPpi>+NFg%^u&`*6R75!Vy6><+tSj2TcLku=qQ;N(Rg-p8(d!hJGNlWRNn;og0je&c63 zGE(t2#I4M;XNv@3!xwekW3Mx{wZ)7U1JehDKkj9;*L%bIw)#$8v#b&e^IrCRF}3Kz z;~VpqOBY5<z92e=N~NTzIuN>H_5fy(7^ro@rk4QYWEq~>B)=G z>-tYxt{yY!aG~?b?r$w0o?Cx=X6@A@`ww)NigzL|PwT_?@fkh6=f~}bO|~5vTyrkT zKTv1afrXiRouGn@UU%y znom;k9>h0{sjB(v^s{bwQh?{R*L8&(tF~T99Aa*A_TlzcE^!?$CZFw^b+n}OnZ)Bq zp8r_Z`C`hSOxEY5oD0}V?M3{o^X|)G9qVm-J{Wm2xo`39f#spP19q?bt?#|fts|$7 z88JTb?KF=G@dM}k4zH`(ck#2y@)MutJ9FC^a@12i~k%|u@?lAJ&2;ofw z+iVl3n}3_FYPGZ1q~&F1a`Qb_UmjX_EZt{Wdn!^kbl72^<;5fA_2e}D5yi*DPhZ_P_MI(p6i<0YwiU;9~I86EUU2l?` z*@SLgqc!fVv)iBYRmE+p?r-?Wnr&|T{@ie>_!#2PSnUD(542hHq%&`%WcR+jyA~Re zr4#D@G!L>G+;aY`yxeI(omb+ubvE>tA1Cj%PAl^G=j8Ck5ZWoAT0+Z>h&%bq?`kAGfm;N_=J-GJi?3|LAGy^XdCr`Q5ZD z;YVzX>~$Btjw+t_cxkwAcolD7yOSw7WgnJ2I;y*Tbx4v_d;#&!A@(PKoIB@bdneZ~ z)FU9@F+yi;-*pQdIdOJNji=T*nlJV_oUtm*zO7+g`zP6FGiwILIe)!sd}Fs%dGViqVGGp9qXY}m||}bqjhIp|ByF_xE6nv zZQj?LI|_}jL45MVq$1zC^;4R+3ySM`X=Tu6zXP8>v@ibh%Ea%XhgYas&CF`ay6hun z7vB4|_Hy!=dGk=SgS)zKpO7OJUq#&HoXN=HYnN87o!dM>N9X!L>+YXg%(^;i!Pzb$ z)5}&jzpXQGNH^`lft(pptwOpUipuI{&eh6YkiGQ%B=PlW;_DpX0t1?$1tC z8h__Qu$CoPOM`U{;k(QDt5WJ({fB=Mc)?}mLjHD^uN%i>KU?zoY+oVYhbk_XsN7|rJgZ+C(_VBs|fEE&%eTPBrR&AvPBGO5nH`EqG7h|nYVQzEN7#UDM@%3 zD5@gMnNZZgXf&r);jskrv1sa0%yFz29a&d>JxAspEhd=H>#AzT$TFf+DW3cW6JZie zhAA)=rlI+k%=>?e(+u8ar>X}y8bCIYj&@d`bKt}3!XBb-lAU-ciRo$JMYSz%$i|6}bKOBIAa0m{=5vYcva14&a380fEt*DZ( zmFlT_J}u~n@%TIZ0e`{`xCyu5Hr#=`a1Uxh4)=jhTC}bc*lN`nzaAm@Sh3YMqtO&T z&t6r3C@+gA$UTK;ioVpQSu9JZL^W2W=g9sAFBEy6Qr>i44=_vudFHXW?Is07N6&)s;jUBnx(LzPzJ54H{Z;l8 zvY!=MedTPG8e2&{vVSYG0-7Dp=Xt8ClOCBOqVWa3!Z-L1Kj0@ua9hTJ7PDBreGxfa z<^Y%NZfEGu7}7ZAK20-O_1t@)HaaoLYJwIt18v}e4m5`rpbIUb6|@FA87WofX`;rF zjXA;=Uo;kt9m@%;KM!=EIkW&>XbG*LHSj?X^g(%QOY0*0N1T4CYNztx#={F8Xikn*+!=Ek zAH(N4{3_c51B))S#IY9cUn#ITzAXMFMtc6XJ3zmxr zT)_?8!2>+O3%toPGh>9b*rI>g-}i1R5of8$`9de?3|*ir_(3=Dhwjh=dO`ru$%co`DYZ(|AlkI1vWIAV`8_NP$#HgLKG%Oc)GwvZj^I<7FST0S|aAb2K z4@QuVabav|5jbW@4OCr(T~h%X8U=_J!blheqhSn;g>g^>#V{TwKnc*P9j&WGjf2K% z2$q2urYqXop61cFt_yIE|Eu|(f$U6}1+x`pbWke8sV~+$Rb^m1Xqx6ATMlzc-kq_f z`HBCsA}M#)JmluX0$2zYz``O}3`<}sEQ95+0_bE%E5gk75?QNmsPdK|L3llEfQ_&T zHp3R!3fssGm@)QB<))=~S6yy9+6p{wN45%fz)m2SV0OW7*aI@y3;SR{8~{2w(8{L# zOK&M}3Hlf+1z-S%ULQePV69MIYv6+( z=!1Y9wsl~fX;I>T=}zUnM@y{St)MmVK@apn00v+PMqmskpgg(Iiq2tFz(odC8%dZ_ z;3$^)F*pt<;3S-a({KjP!Z|n(7vLh$Nkr=+BW78$>dKT4XPzVc7rcO%@CshT8>oY~ z@DAR?2lxnda;25wgEQ}`taz8Xh(1YXK(=# zxPlwFg9mtm7kC4m+-Y4nVo~RaAsE>Z2!${RhX{y-D2Rp_h=n*%o;+w>bJQ4};}ISJ z36QAh7f+hU1%&`>)%~Kp1r9`X5F|k|q(Ca9K{{lRV$B#YS}Zmnb(UBrqJtp|hA3L* zO^cYP#$o$V zO{Iwb1`}ZtOok~il@w>gbf?8FeN1z&x!Z9)r#!MetG}++F)Hskhj_e6I38&yRoKY;6zO<}0YK(|ykvj+H z;R0NQONw&((Q>dmRp%`8GNLtbMX^}=)3{Wt`0nkfv87`ETf%bP7sj*}F6Mc6BZo)0N4R_!!+#`Kz$%N4|Q?NI;QN1E7@6Brw zmBW2_01x32JccLmloV^mgwtZtRQtVZ^wl$DpDT8F5j4A1jSH@SA@>4aD%P|}n!Sw` zRgLlE6{4@+t7xpbd2v%SXHqZ{*LkF-0 zJD}4bS`}_|_HD1a<;rVHZwzI9fLxC02mK)sf*=?|Ae0Ps#!M0|dcPW5k{K3TTQCO; zvZ}Z+$uv(ci=tRn-GDx8nk*3&f|X)TOQCVBX~ETYs`J=2H%->a+CV#K4;{c3?7$uz zz!5r<@&!yPE&q@jSIM1_b0#@&CXMEBD@&a_e=dlM6w!1V#Vk3gb0^jnSvPQ3bV&xy zSF159dm!ftUW#lc&62tosIlRDBkKdciu_=j$MJ(Y<3=Y$J3|*mJd4K3w;Zt4Rjmw4 z8>B{8MEywAn;Al*C)8L_-H`KFi|*|ZpRoHhAwfU2hd zvmUd~#e6S(m5ImX(4aauEiF-k5Udo3Im2icl{%EEak4rU4V%_@oHJZ0Y+sLFRn=nU z&JM%Y8Lqe|kV~`Y)L6xOqnG+XU&S)cqgh-*>0+w7TIEr+AENys5P~2WLLihBXTyx3 z#gR33ml^{|7_#9Ip=eG%&0kdGG%XUjD2Rp_h=n+aSG1*omW8(1m#VQm1|XY2vffOg zQnqWE8vT-p>_8Xr8nWq%wv3|LD{3s>4CFFlFv+?zqiJ@d zdYf<-qC*tbj-gS~eN}3#kwcNqR%FN0?Dc;+2#9Lh1K>&$a>HOalP=m!4K9q3d{EBjN89k(?G9UEu|?aAQd!i=Z+Wqd6sHMYAlj6GtQ z-gr-P0?p^EcLX1SIwB#83_yGRj^vIo|e-5Z8g^MHOQ@nb&Bk7 zG>f{sC#rFJCqZ^SY=Dih2{ywP*h;x(7BIVgI zlW2MO_&h6BLpx3)nx@?()0vq}Gng;mGDFpEP`)#=2ldHdFYJT;aDbF$%S@qVja2U{ z@j*ln!C^Q;ig013(jxAwv52aXI||20)}5I~vp7Fg=OXn9L{GvgIIXC@j21!GutjRD zVP}v%3+EI~5Yzl4H8!yG$X$Soa7j`Bbec!~!F}yiFAe2G+snw-z!kU(*Wfz*4u8O( za070V@&(KcT0XfFsK&P+dtvbC4Sk?5^dr}59GRK47<`XYoeSn2Fof7DzBo0DMxUwi zorW10J7&VH#_?k|4XbnD6peu+24WS1#~hkP*V;csgH&xGn8l{)7P{>=={9esoMvCB zaiDnzxx0$oT$;m`IdzVE?jc$Wa<~r<;2}IB#n~|PXmMD<)%kw&V?>|8Q+Ni?NimMh zd|J$FHLiC3h1?5x39sO_qKpN!417aGovYJt5Uqo^@DAR?2U3(Rvyc{r1=DY@8fU5> zk^Kapp&tH*FYpzV99FUO@OFT!PC`16SZGT!ZWIJNyBE!VRF)CR&-6p6c(4 zDj#FNM(~X$+u=Lz3vH%BGTydQ<8aUwqmmoAD=yY-QOb897c^9jn#u>|^BXSIbYiwD z1=}ygeEceyK*piY%r=_S(fjo;LOx(4PMRa_wNj(bZ~tVaG}{_=lHb(PK1MN^I2y_e=KDXn zUCKF{A&;tZKmN(>{_o^)uZPa#9;KY2%KF$l6C+L7uKIem4VM>XG@!5d>l;KITqeS= zGc_2{1TAO=+Q0)Hz}J!W^^BRlv|L=~Ngbtn`T8k3q2b>ai0VR1Xa%i-4|<>v0x$qW zFal$s(>_|4xf&}3z7wXeN5(K7v;V)7bNnZFfaZ+!cowQU`Jb;8Ewsq9U`0WEA#;$1 z$RHN(sJcg#cl!%)z_Ac2fQ3b{7?!|NSO&{s1^nmf5UuQAf6>bQ4{L0qVnjGhV`!s8 zpj34m6O}4+!cuV7Vmp}XIb*<6Oh;%TZPZvA3IFtJHO-OD^D4dpsH$g`H#2;TjV{Tf zN?H5fYTTqAh=$`xQ<2wXj?p~UAnRY%yRvcIJx)WU!LgWm`g_}deslXD$Au(XA&)ts zluf%kM0FOs)ut&K4NienNP~39fJ_(+Sug~KLN??8olerqdZVF_@$Ro0iZ7heo;~$8 zM7An3B1z{z{0{rS{xbW2>K**TyFYJ%zNI-E;p-8SR z5rr8@L?Q#lJ7HmRK}Ds=N@f)%s@0a{;cwMpx)q`ryi+au*;*#736r;|sE+WF`P7Kc zw5X^O;4kv9T9>XT(a2M98qUC3I0xt90$hYka2aag3S5P2aGiAXab^!cT<9+o%0+S) z%?Eg!UG+7#1DWMN7zy8%CkYGZRaA#rvBPd9Xv^$`t~XjJTAdt@Hu2r8*x;x*{6XY; zLwi9K+Laex+xUqpd_q!+BC1hDo)P|5?pmu&TF;Ij7>!I#_zmNVFfucht_X!i;#pmI zt&1xkBZD63g8&S`5RAYWOu!V{fEl!v;Y;+F8Hq5$LsI2xAW4qkDH>VhDmShubtTP; zs1-E67a_N)s1C<_BDY$X=w8V8hCa|2`aypPgdhlp5D0}Z2!{xWgeZuH7>I>9h=&2B zJ)0RxvRfQkjJvHOYh4Vp@P{EV6tW=)hLI1xU?ieQ6G^ojU-qFuzmDM-VlnXXTd-ln zQu4@Z)VP{N%3VxL5&8`#!X%gsQ(!77=qV#9jciLkyeSg>{W3$RpcI>fG9`jS}e{#M_79FdTtu@)2wwJGvQ8Vw3s`3}uT% zQCR{>Wt3>hCH(y|)W8)WgZnkO4!^@6@F(1Wn{W$m!yUK__n;Q!a33DPLwE#_;R!s2 zXQT}*BdLkXSuhC8u*x0l%P0KdGt|T1@CClYH~0=e;3ts%VSDI6zPgl4R`O&f+Ff;I<*6d;tq_$MS|TU}E3gI|XxCIwF(V0cH<9RiG^}|XIcvpt z6R;ls(c3w%*+>4-uQ<-^)$Y+l+mUf)FWH?x3;gl(=Nj^C6=;A;yo$%Z>=E68qst0t~&(N4f;7xj+b z!f|9rED_i=+d}4+VOR7OSaXutxqYH-Imzsm!HMKygt40~Cy&*OOCk?P@k%QXXG%P_ z`w4*!XAG-n;%3{d8vWzXW$*Pv0UGR;zR?MK8!%U4D3+_i(ZH9kFk-oe8kw@gha~o3 z7xjzw;MQx(F7=Cc=5X4}zW0v~WlECJsazbpq~no;lP>Z_axQ+}J&HWyKQfry_&)iv zEqPth_?mp}lYE|h!I3v*B z2D!gTK5!0?B>1TDk%L(x1)AWIyidM-#Ko-_avP7^QgPvtyiYD3a)lUY$mehXnnGTq z!Q?s$2aTIdUgK62x!6EnlZyphK?&|PHNLTnykVm_Lnj{~XXPBMMCTg+PEMf7`{bmV ziz{!p8~=X4@%`uIeVodXb7Jy2a#BDVMvmgSxL@6-@wFv+w8o%`&v1E|gAXJ~4nSii zrTU`gK6u|3I^j2%Gx!$vJ@C9I1VAt74Sk?5^n?Bo2tiHTn?EC|(vQMU5t}DpP@AS0 z;YtN^TS=9`PVq`Ez^2@=2F+)TnZY^&JhMTWK5KakyWn4w%C$urb#EXPpp z(sd&$+yt9p3v7jLupO#k2kZnX?1J5}2V}6fsi9G5s9}~wXk?<;Z~GgeO6)gfR>?-S zEhKqH29mt!07bRc(Kt4!iN?O491X~$Yg@37M(c;MFLxA}$P&lsFJdaH;_#O`{AF!S zT!lZ`vn9vSdCQBrYsB%CZ9g6JnJfD!j%i`UX(J2&&FCj1sf^KV7%u(eYRx3caUC08 zl*eIroEL^ND)CHG6{lNK6OC8ZakRvmIPAjZct0#&Boo!e)o3gBXYu$rKOQZQM~9I{ zl*ZSZDR$tM@tCWs__m58ni_nvabd*E&DIWR+%NM7kR?Ov5)MF7BKp4n0J%%aSgcUv zpa_a#JWPNRD23l(B20qGFa@Tc77v{lySO5z_X_8sKH2jT` zAz$+ zChYwZeSyS3v8|$ClM`z@H+DuM7Ia-=LvQRB4wRcUW(Q&=^dH!GT$ntN9K0lu-W^zr z)p}rK=au7VP*NJMtJpV{NBnfb>Ki4u*;6MFVy9njgq?m>%w{u=CtK%RV9Fk97p^UP zc|OL#faBV56@l#dE?~zOqp7G?6psRh2_jZBneWl~$FPLPO`$STE@0=D33@8__;Gs& zZor}=9aA%qZaj4Z9>@FN3B{dw_U`~_dHj+}jQXDuY)w-}A*ZD&G?MPI?4%i7& zAj92m*aI@y3;UW%os6T1q##L+QDeUfljSZtXYmm-8lG?Z*ae17^o%!P>$-$#qWWa? zRdTW@{3bqh3&;?82kyc>s0BHYA@cz|gh%igp1@Oh24pDx3tqrWc-2(l1V+X!PyP|v zu#MIwV}tci!7*)$rX&wap&Tlq3aX(d#cpk?$if7pt|^dF*bLf&Iaq)t&fo=l)(v-O z?Hf-0$buF#GL9(qXCFyvDoRb&WbeodOwtYT{|{tj4#^lc(#yj+SMk4{@HLuob8^#C zaxxVE%ZUMwPjhlp(w);X2M^B}-SEGk@HMnKgY!qGW(*&tA;%U)j$zYs^D~@>3>$nO zuNN@9hQE^xIr+c>s7n=@hwLqA%-yo`ApI#BJzHXg_4VMlJhYZfhXF1j>ru^=aQJ#(Orlk}Vda@-}DQ(!r z)+y%fVyl!u*3l}Zn{IFb{mig*_M9*!l8v=avGa)R+ugM>TacCF+B~vXuK@ZwBO|?e z_lTaoL!%=a-%80(%gi0g@@-Na*ge)MF083_ieJm%0FTDM4@>u8Cs?PL8TSYZjqTkp zvTx)2sX4i$Glvvpkuy6P=1WtiS)KaLajHCRsyuzFJY%XnbEM4nY9sic=XlU*_6 z|6Di}y4}#;Q|c}h$%Os}a+e_;@FfacumgK=07q!}T?ihX!39L%3U1&I9^eUH;0-?D z3!R`dbb+qm2i?G5hBo6uQl3GM;%Z=6Gch~j*tp~8})p7q1j>m~} diff --git a/tool/run/image/disk b/tool/run/image/disk index 497ddbbe6..ae97ca5e4 100644 --- a/tool/run/image/disk +++ b/tool/run/image/disk @@ -22,7 +22,7 @@ proc run_image { {unused ""} } { set grub_img "[genode_dir]/tool/grub2-head.img" set disk_img "[run_dir].img" set part1_img "[run_dir]-part1.img" - set run_size [expr [regsub {\s.*} [exec du -sm [run_dir]] {}] + 4] + set run_size [expr [regsub {\s.*} [exec du -sm [run_dir]] {}] + 8] if {[image_disk_size] > 0} { set disk_size [image_disk_size] } else {