Hi Vincent,
> The thing that I don't understand are the macros that you use in scripts
> - such as "assert_spec".
> Can you point me to where I can find documentation for the various
> macros which I understand are based on Expect.
in /tool/run/run the specific Expect procedure is defined.
For a
Hi, Alex,
> I notice the vbox_auto_win8 using the "assert_spec 64bit", does this meant
> that this script is for 64-bit Guest OS.
No. By invoking the run script you build Genode - not a VM. The VM image
is provided by you (vdi/iso) and is just used as is. So it means by
invoking the run script th
Hi Vincent,
On 23.09.2015 04:41, Vincent Digital wrote:
> I understand without serial port hardware, it is near to impossible to
> troubleshoot.
Yes.
> Btw, is it necessary to stick to 32-bit versions of the Guest OSs ?
Yes. We don't support 64bit guests currently.
> I notice the vbox_auto_win
Hi, Alex,
After a long break, I would like to update you on my recent work.
I've revisited the run script that you created for a USB boot-up.
It worked - previously it was a careless mistake on my part with the dd
command - use a wrong device name.
The USB boot-up could now boot-up partially but
Okay, noted. Thanks.
I'll try again maybe with a new USB stick.
Regards.
On Thu, Sep 10, 2015 at 3:48 PM, Alexander Boettcher <
alexander.boettc...@genode-labs.com> wrote:
> Some additional note:
>
> make sure that you remove/uncomment all RUN_OPT in your etc/build.conf
> and really replace it b
Some additional note:
make sure that you remove/uncomment all RUN_OPT in your etc/build.conf
and really replace it by this line:
# Set RUN_OPT in your build.conf to: RUN_OPT = --include image/disk
Otherwise the resulting image is not in the expected state.
Alex.
On 10.09.2015 05:38, Vincent Di
Hello Vincent,
On 10.09.2015 05:38, Vincent Digital wrote:
> Hi, Alex,
>
> I've used your USB_RUN script to create an image file.
> I followed your instructions to prepare the USB stick. However, the USB
> stick cannot boot up.
> Unfortunately, I do not have access to a laptop with serial port so
Hi, Alex,
I've used your USB_RUN script to create an image file.
I followed your instructions to prepare the USB stick. However, the USB
stick cannot boot up.
Unfortunately, I do not have access to a laptop with serial port so I am
unable to get any logs.
Can I check with you on your instructions
On 28.08.2015 13:44, Alexander Boettcher wrote:
>> The part that I am not sure are the "win7.vdi" and "overlay_win7.vdi"
>> files. How are they linked to the vbox_auto_win7.iso file ?
>> I have copied them onto the thumbdrive but is this correct ?
You may try the following branch
https://github.co
Hi,
On 28.08.2015 11:48, Vincent Digital wrote:
> I could now proceed to my next stage - basically to build a Genode system
> with NOVA micro-kernel, running Virtualbox with a Windows 7 VM.
> I have managed to make the "vbox_auto_win7.run" script - everything is made
> successfully and the output
Hello,
On 29.07.2015 08:44, Daren Sin wrote:
> I seem to have found the problem. Now, I would like to run some other
Can you give some short note what was the issue and how you fixed it? We
can use this knowledge to improve things on our side (error messages,
checks, correlate it to other issues
Hi thanks!
I seem to have found the problem. Now, I would like to run some other
(larger) OS on Virtualbox, instead of the Tiny Core Linux, which was
previously suggested that I run. However, how should I go about doing this,
because if I simply swap the test.iso file to a bigger file, I would get
Hello,
On 20.07.2015 10:43, Daren Sin wrote:
> I waited for there seemed to be no further progress. I tried other
> solutions suggested by searches online, such as using UNetBootin on Ubuntu,
> but was directed to a grub interface, saying that the kernel image was
> corrupt. I also tried burning i
Are you looking at the serial output, or just the screen? Because the
screen doesn't give all the output.
On Jul 21, 2015 11:33 PM, "Daren Sin" wrote:
> Hi Alexander,
>
> Thanks for your suggestion!
>
> I tried using dd to boot Genode on USB, by using virtualbox.iso in the
> build-nova folder as
Hi Alexander,
Thanks for your suggestion!
I tried using dd to boot Genode on USB, by using virtualbox.iso in the
build-nova folder as per your suggestion:
sudo dd if=virtualbox.iso of=/dev/sdb
There was some progress, but it stopped at a startup screen:
NOVA Microhypervisor v7-9916e62 (x86_64
Hello,
On 13.07.2015 11:04, Daren Sin wrote:
> In order to run from my USB, where should I obtain the .iso file from?
The iso image of the VM (test.iso for virtualbox.run) is part of the
generated Genode iso image in your build directory
(/var/run/virtualbox.iso). Just copy the Genode iso to your
Hi,
In order to run from my USB, where should I obtain the .iso file from?
Cheers
Daren
On Fri, Jul 10, 2015 at 5:15 PM, Alexander Boettcher <
alexander.boettc...@genode-labs.com> wrote:
> On 10.07.2015 10:36, Daren Sin wrote:
> > Hi Alex and Christian,
> >
> > Really really thankful for the ad
On 10.07.2015 10:36, Daren Sin wrote:
> Hi Alex and Christian,
>
> Really really thankful for the advice; apologies for the spoonfeeding as
> well. Making changes to virtualbox.run, I've managed to boot up TinyLinux
> on QEMU, but while QEMU says "booting kernel", the terminal reflects:
>
> ...
>
Hi Alex and Christian,
Really really thankful for the advice; apologies for the spoonfeeding as
well. Making changes to virtualbox.run, I've managed to boot up TinyLinux
on QEMU, but while QEMU says "booting kernel", the terminal reflects:
...
[init -> virtualbox] attempted to write to non-existi
Hello,
On 10.07.2015 08:13, Daren Sin wrote:
> [init -> acpi] Could not open ROM session for module "config"
> [init -> acpi] void* abort(): abort called
That it the actual reason, the acpi driver did not find a configuration
xml node. The issue got fixed already on current Genode master branch,
Hello Daren,
how long did you wait for the scenario to boot in Qemu? IMHO your
provided log is truncated maybe you just have to be more patient to
see some progress. On the other hand, it does not make much sense to
run VirtualBox (a VMM) in Qemu (an emulator) and we do not test this
use case. So,
Hi thanks! That really helped a lot.
Now, running make run/virtualbox has some progress, and QEMU is started.
But I don't get anything on QEMU (except the description of NOVA), and I
got the following in the terminal:
Genode 15.05
int main(): --- create local services ---
int main(): --- start in
Hi Daren,
On 08.07.2015 04:51, Daren Sin wrote:
> Hi,
>
> I've found this
> page
> http://genode.org/documentation/release-notes/14.02#VirtualBox_on_top_of_the_NOVA_microhypervisor
> and managed to run the /make prepare/ command, but got stuck at the next
> one.
The 'make prepare' mechanism is
Hi,
I've found this page
http://genode.org/documentation/release-notes/14.02#VirtualBox_on_top_of_the_NOVA_microhypervisor
and managed to run the *make prepare* command, but got stuck at the next
one.
Where am I supposed to add the part? And after this *config* portion,
am I supposed to run *mak
Hello again,
On Tue, Jul 07, 2015 at 11:05:03AM +0800, Daren Sin wrote:
> I've seen the Genode website, and I noticed that it is possible to run
> VirtualBox on Genode. I'm currently running Genode on a NOVA hypervisor.
>
> What should I do to get VirtualBox running on Genode?
For a first impres
Hi all,
I've seen the Genode website, and I noticed that it is possible to run
VirtualBox on Genode. I'm currently running Genode on a NOVA hypervisor.
What should I do to get VirtualBox running on Genode?
Thank you!
--
26 matches
Mail list logo
