<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span></span>There are 20+ partitions on the hard disk so both systems have everything<br>
separate except /boot and /efi (whatever that partition is called).</blockquote><div><br></div></span><div>so boot is shared?  if so, eek.  apt-get update on one will throw out kernels still expected by the other.  and similar ugly contention for maintaining grub.  this would explain why grub couldn't find the other OS.</div></div></div></div></blockquote><div><br></div><div>sharing /boot actually can work *if* the 2 grubs are in separate subdirectories, and if the kernels are different enough that updates from one don't affect the other.  still tho it may work, it will likely lead to significant confusion.<br></div></div></div></div>