Hi,
may I add: the last time I needed the following programms below after a
blank ubuntu 12.04 installation (program name, website, install command).
Christian, as a wish: an all-in one- ubuntu development iso for genode? Like
the Fabscan Live DVD ( https://hci.rwth-aachen.de/fabscan_software )
Hi
>To be honest this kind of mindset is what makes developers keep back
>from helping beginners in public forums. It also leads to the wrong
>conclusion that it's not worth the effort to invest time as *those
>people* are lazy anyway and never read documentation.
Not really, it's a problem in th
Hi,
> Some boot loaders such as GRUB1 with the OS patch allow you to
set a VESA mode right at boot time (maybe GRUB2 has a similar feature?).
Mayber you can do something similiar in /etc/default/grub:
GRUB_GFXMODE=1280x800x32
GRUB_GFXPAYLOAD_LINUX=keep
First line set grub mode, second line adv
Hi Stefan,
>When you say RTC is too slow, what drift did you perceived?
I may add this to the topic. I tried something similiar to measure
performance.
First i was a bit irritated that i only get values which are different by
one million units, until i looked at the code.
https://github.com/ge
Hi,
just a side advice: do not use RTC as i also tried to measure some actions.
I tried the following
rtc1 = rtc.get_current_time();
rtc2 = rtc.get_current_time();
and always got a difference of 1 second. (in a loop) – and that was only with
calling rtc.
So i looked at RTC (
https://gith
Hello Stefan,
yes, thanx, your demo project looks much like the one i posted before.
If i tried your patch with a "real" ext2 partition.
What i have done was just "reading" files, like
FILE* file = fopen(fileName, "rb");
fread(buffer, 1, size, file);
fclose(file);
I had the following issues:
-
Hi,
did Stefan had time to look into the issue with the block cache?
Best regards,
Wolfgang
-Ursprüngliche Nachricht-
From: Sebastian Sumpf
Sent: Thursday, August 21, 2014 8:40 PM
To: Genode OS Framework Mailing List
Subject: Re: Malloc / free ansd rump_fs ->Slab-backend exhausted
Hi W
Hi,
>> this seems to be happen only if rump_fs has a larger quota – the file
>> can be larger if rump_fs has a smaller quota. (memory tests of the
>> system have shown no errors so RAM should be okay)
>this is indeed very strange. I hope you have a Genode version where
>there is no Slab-Backend a
Hi,
further information:
this seems to be happen only if rump_fs has a larger quota – the file can be
larger if rump_fs has a smaller quota. (memory tests of the system have shown
no errors so RAM should be okay)
Best regards
Wolfgang
From: w_schm...@gmx.de
Sent: Sunday, July 13, 2014 12:54 P
Hello,
I read the Bastei Design PDF and have a question regarding the information flow.
On page 5 it is stated: “When a parent calls the session function of the root
interface of a server child, the server creates a new client session and
returns the corresponding client_session capability. Thi
Hi,
maybe if you are interested you could also look at the cosmos os project. It
uses VirtualBox and has also the preconfigured that debug is done via an
serial VirtualBox interface in both ways (Quite nice, set a breakpoint in
VS, let the OS stop, change a variable and continue).
Best regards
Hi,
i try to open a file.
I used the following code:
//malloc
char * buffer = (char*) Genode::env()->heap()->alloc(sizeof(char)*lSize);
FILE* pFile = fopen(fileName, "rb");
size_t result = fread (buffer,1,lSize,pFile);
fclose (pFile);
//free (buffer);
env()->heap()->free(buffer, 0);
The code s
Hi,
thanks, the workaround works (i used 128M now for ACPI - the script now
finds the drive.
3 new questions now arise
- 1. With which part of the output do I know that the RAM quota is
insufficent?
- 2. If i try to use the blk_cache still the "[init -> rump_fs]
Backend::Backend(): Backend blk
Hi,
i have still problems accessing a real harddisc.
I now started again using the rump_ext2 test.
Is usd the run script below and get no result at all, it stops at
[init -> acpi -> pci_drv] virtual void Genode::Platform_env::release(): used
after freeing emergency=520192
If i replace
Hi,
Still the same issue. ;-)
> You have to configure qemu that is provides a ahci device, please have a
> look in os/run/ahci.run for an example.
Somehow works.
But still if i use the runfile below it ends with (equally if real hardware
or qemu)
[init->acpi->pci_drv] recource request: ram_quot
Hi,
More informal:
i have now a dhcp & ftp server.
I put configured to start pulsar as PXE.
Result - it doesn't work as expected.
In more detail:
I linked a /nova subdirectory to build. (or to build/nove_x86_64)
in the nova directory the runscript created a link named nova_x86_64 -> the
path in
On 21.06.2014 18:42, w_schmidt@... wrote:
>> I have no bender in the grub entry.
>Why not ? Whenever you invoke a run script it is added automatically to
>the resulting grub menu.lst respectively pulsar config file.
In this grub menu.lst bender is included.
If i try to start the remo
HI,
somehow can't read your email offline. Therefore no quotation.
I originally updated both the BIOS and the AMT Firmware of the x201 because
without the update some of the menus where only shown as not available.
The BIOS version is 1.40 (6QET70WW) (2012-10-11) with embedded controller
1.15 a
Hi,
Following now works - restart with amttool.
Also RUN_OPT="--target amt" make run/printf now seems to try to connect to
remote pc.
Nevertheless the simple printf fails. (output attached below inline.)
It seems like remote machine gets connected, restarts.
Afterwards it boots normally.
In t
Hi Christian,
thanks, Test4! is to short for passwort policy of AMT. longer has also not
worked. amtterm now works with -p and passwort in paraprasses (like -p
'Test4!4!')
Nunja. Über Fronleichnam probiere ich das weiter.
Best regards,
Wolfgang
-Ursprüngliche Nachricht-
From: Christi
Hi,
Still no luck.
what is meant with "active the network p"?
I have linked both machines directly with fixed ips.
I enabled the following settings on the x201: Username&Password (also tried
to disable it, but no change), SOL, IDER, Legacy Redirection Mode, KVM,
AMT_PASSWORD= amttool 10.1
Hi Norman,
-Ursprüngliche Nachricht-
From: Norman Feske
Sent: Friday, May 2, 2014 11:33 AM
To: genode-main@lists.sourceforge.net
Subject: Re: Booting genode/nova
>For testing, it is very helpful to have Genode's LOG output available,
>which is directed to the comport. Unfortunately, mode
-Ursprüngliche Nachricht-
From: Sebastian Sumpf
Sent: Wednesday, May 14, 2014 10:06 PM
To: Genode OS Framework Mailing List
Subject: Re: Using a real harddisk
Hi again,
I want to access files from a harddisk using a block cache. The
partition
would be /sda7/test in ext2 f
Hi,
Thanks for the answer.
>> I want to access files from a harddisk using a block cache. The partition
>> would be /sda7/test in ext2 format. (and for example file1.txt) I tried
>> to
>> start nova directly form disc - works with mouse & keyboard now.
> Assuming your machine is an x86 derivati
Hi,
I have a few stupid questions regarding the use of real hardware.
I want to access files from a harddisk using a block cache. The partition
would be /sda7/test in ext2 format. (and for example file1.txt) I tried to
start nova directly form disc - works with mouse & keyboard now.
With the e
Hi,
I tried to prepare a sd card for raspberry pi.
I used the commands from
http://genode.org/documentation/release-notes/13.11
, and additionally installed fist lex, bison and svn (otherwise make -C
libports prepare PKG=libc didn't work).
Now I'm a bit stuck. The Pi does not boot the image. It
Hello,
I have a few question regarding genodes block cache in 14.02.
If understand it correctly on x86-based computers genode starts on top of
linux.
Therefore multiple caches will be used before something goes to genode
a) the cache on a hdd
b) cache on a drive controller
c) the linux block cac
Hi Norman,
thanxs, the freeze was exactly that qemu was showing the UI but nothing
reacted.
Using display sdl option helped.
>I figured that the hello-tutorial may actually not be the easiest way to
>start as it contains many details that are not needed for realizing
>applications on top of Geno
Hi,
Thanks, uncommenting in build configuration helped a bit. (Still do not see
the point in documentation)
But now it stops without any error. It just opens the start screen like with
"linux" demo, but then it freezes.
I would even be more interessted in how to really buidl a first applicatio
Hello Christian,
>> But the self created hello doesn't.
>>
>> I have found only an empty /tmp/genode-1000 directory (therefore the grep
>> command you provided shows nothing).
>>
>> The demo which is provided in genode nor works after update (git pull) of
>> genode, but notif i try to run it with
Hello Helmuth,
Sorry,
I have not seen you're answers (some automatism seems to consider every
thing from genode mail list as spam).
Because I had some strange graphic problems with Ubuntu 12.04 on the
physical computer+-, I also tried a reinstall with another distribution
(Mint). With Mint at
Hello,
I tried to run the genode tutorial.
I first installed it on an AMD Athlon x64 with nForce4- Mainboard.
run/demo stopped there after init -> nitpicker] create session with args:
label="launchpad", ram_quota=12288
I made a second try on
a) a virtualBox machine with brand new installation
32 matches
Mail list logo