Is it currently possible to compile programs to run on Genode inside Genode
(by using noux gcc, perhaps)?
Also, is there a run script that includes everything you've already
compiled, or at least one that includes noux and arora?
When I run make prepare for L4Linux, it stalls while trying to clone into
the L4Android repository. The repository seems to be moved or gone. Where
is the current repository?
--
Comprehensive Server Monitoring with
connection ;-)
Regards
Stefan
On 10/20/2014 07:19 PM, Nobody III wrote:
When I run make prepare for L4Linux, it stalls while trying to clone
into the L4Android repository. The repository seems to be moved or gone.
Where is the current repository
I'm very interested in running Genode on my computer. I understand that
it's not yet fully usable, but it has a fair amount of functionality and
seems almost ready to run like a normal operating system. It seems to have
decent hardware support, ext2 support, sound support, networking support,
I want to install Genode with all the possible components as a mini
operating system. It seems ready or almost ready for this, and making a
full Genode system (noux, l4linux, arora, etc.) available to run from a cd
or a hard drive would make the operating system framework attract a lot
more
Agreed. Wayland should take some security concepts from nitpicker.
On Mon, Oct 27, 2014 at 9:23 PM, Peter Lindener lindener.pe...@gmail.com
wrote:
Hello fellow Genodians..
I took note of this mention of LibWSM Wayland Security Module on the
Phoronix web site
When I try to compile L4Linux on genode, I get the following error:
repos/ports-foc/src/server/balloon/main.cc:1:45: fatal error:
balloon_session/balloon_session.h: No such file or directory
It seems that L4Linux is targetting a file that used to exist but doesn't
anymore. Can somebody who knows
Thanks. The Genode documentation does seem somewhat lacking, so could you
please help me? What apps are already available for launching Genode
programs? I think that finding a good way of launching programs (e.g.
through a terminal emulator) would be the first thing that I would need to
do. Also,
Thanks! This should be great! :)
As for the name, you can call me Ben. Or Nobody III. ;)
On Tue, Oct 28, 2014 at 3:08 PM, Norman Feske norman.fe...@genode-labs.com
wrote:
Hello,
btw, would you be comfortable to tell me your name or at least a nick
name? I feel a little bad about starting
What level of file management does Genode have? Is there a graphical file
manager available? Does noux support file management?
Also, since I am considering implementing a file manager if one doesn't
already exist, how would I do it? I'm thinking of porting PCManFM to
Genode, so how does the
It seems that Genode lacks ext4 support. Is there any intention to port an
ext4 driver to Genode? How hard would this task be?
--
___
genode-main mailing list
I created a windowed terminal run script. It uses the cli_monitor server
(used in terminal_mux.run) in a windowed nit_fb, and it works, except I
can't switch between terminals like I can in terminul_mux using Ctrl+X. How
can I add this functionality? I've attached the run script for you to look
Thank you! I will try it out soon.
On Oct 29, 2014 5:04 AM, Norman Feske norman.fe...@genode-labs.com
wrote:
Hi Ben,
I created a windowed terminal run script. It uses the cli_monitor server
(used in terminal_mux.run) in a windowed nit_fb, and it works, except I
can't switch between
Thanks. I still have one question: Does the vfs plugin support sub-mounts
like the Linux kernel does? (E.g. can you mount a root filesystem and then
mount other filesystems under it? If so, how do you do it?)
On Oct 29, 2014 5:45 AM, Norman Feske norman.fe...@genode-labs.com
wrote:
Hello Ben,
Thanks. I'm almost ready to get working on making Genode run on my hard
drive, but I still have a few questions:
1. How do I load executables and libraries from a filesystem?
2. How do I access a specific filesystem on a hard drive?
3. Can Genode automatically detect a filesystem's type?
On Oct
I have been looking through the Genode run scripts, and it seems that init
will only look in the root of a ROM for both libraries and binaries. It
would be very useful to be able to search for binaries and libraries in
multiple directories (e.g. /lib, /usr/lib, /bin, /usr/bin, etc.) Also, is
there
Sorry for not being clear. Is there a way to set the fs_rom service to
provide files from a directory within a filesystem (e.g. /bin) as ROM
modules? (Sorry if I'm using the wrong terminology.)
Since writing the previous email, I have experimented with acpi, ahci, and
part_blk. I modified a
Thanks. I will likely get to work on that once I've dealt with
higher-priority issues.
On Oct 30, 2014 4:18 AM, Norman Feske norman.fe...@genode-labs.com
wrote:
Hello Ben,
I have been looking through the Genode run scripts, and it seems that
init will only look in the root of a ROM for both
Thanks. I'll try that and maybe find out what's going wrong.
On Oct 30, 2014 8:36 AM, Christian Helmuth
christian.helm...@genode-labs.com wrote:
Hello Ben,
On Thu, Oct 30, 2014 at 02:29:48PM +, Nobody III wrote:
Have any successful tests been done with part_blk?
our regular yet simple
Thanks. That makes things a lot nicer.
On Oct 30, 2014 9:20 AM, Norman Feske norman.fe...@genode-labs.com
wrote:
Hello,
Sorry for not being clear. Is there a way to set the fs_rom service to
provide files from a directory within a filesystem (e.g. /bin) as ROM
modules? (Sorry if I'm using
I used the grub-legacy bootloader, with the same patches used for Genode
(grub-0.97-os.8.gz, and it compiles, but it segfaults when I run sudo
/usr/local/sbin/grub-install /dev/sda4 --root-directory=/mnt/sda4. Note
that I'm on an amd64 machine, and it seems that Grub Legacy is always
32-bit. I
I've installed Genode on a partition on my hard drive, and configured Grub2
to boot it. However, Genode cannot find the ROM module init. I configured
Grub2 correctly--I used multiboot and added all the modules, including
init. Note that I can boot from a cd with no problems besides graphics
My computer has a 1920x1080 monitor, and, when I run Genode from a CD, my
monitor gives me an out of frequency range error when it starts the
terminal echo test. This seems to be a bug in fb_drv. I have an intel i915
graphics card, if that helps.
I have been trying to install Genode on my computer, and have been somewhat
successful, but when Genode tries to access my hard drive, I get an error
that it could not find an AHCI device. After some research, I have found
that although my motherboard has SATA II support, it lacks AHCI support. Is
I have been trying to get Genode to run on my computer. It currently can
start init but cannot detect my hard drive. I originally tried using the
AHCI driver, but that failed, and after some research, I found out that my
motherboard lacks acpi support. I then tried using the atapi driver, but it
The ATAPI driver is still unable to detect my hard drive (or my CD drive
for that matter), even though I have switched to a 32-bit Genode system.
Any help?
--
___
genode-main
How can I get the output from Genode running on real hardware? Even using a
higher screen resolution would be extremely helpful.
On Nov 3, 2014 11:28 AM, Sebastian Sumpf sebastian.su...@genode-labs.com
wrote:
Hi Ben,
On 11/03/2014 04:04 PM, Nobody III wrote:
The ATAPI driver is still unable
Can I disable output from certain services (e.g. ACPI, PS/2, FB, USB)? That
would help me see more relevant information on my screen.
On Nov 3, 2014 11:28 AM, Sebastian Sumpf sebastian.su...@genode-labs.com
wrote:
Hi Ben,
On 11/03/2014 04:04 PM, Nobody III wrote:
The ATAPI driver is still
by itself. To do that you have to
specify the configuration attribute preinit=yes.
Good luck
Norman
On 11/04/2014 02:23 AM, Nobody III wrote:
Would it be reasonable to add libATA to DDE_Linux? I would like to run
Genode on my computer and port various programs and libraries to Genode,
but I
. I'm using an Intel Core 2 Quad CPU on an ASUS P5KPL-CM
motherboard. I have 4GB DDR2 ram.
Hello Ben,
On 11/02/2014 03:10 AM, Nobody III wrote:
My computer has a 1920x1080 monitor, and, when I run Genode from a CD, my
monitor gives me an out of frequency range error when it starts the
terminal echo
What is Genode's level of support for filesystem permissions?
--
___
genode-main mailing list
genode-main@lists.sourceforge.net
How reasonable would it be to make genode binaries (aside from core and
init) compatible across different kernels? It seems that putting
kernel-specific code into a shared library would work. How would this
affect performance?
Thank you. I will look at that. I was thinking of writing such a server
myself.
On Nov 5, 2014 11:40 AM, Christian Prochaska
christian.procha...@genode-labs.com wrote:
Hi Ben,
On 11/04/2014 05:38 PM, Nobody III wrote:
As a side question, is there an easy way to combine input from a PS/2
Okay. Thanks for informing me. It will be great when Genode reaches that
point.
On Nov 6, 2014 1:18 AM, Norman Feske norman.fe...@genode-labs.com wrote:
Hi Ben,
How reasonable would it be to make genode binaries (aside from core and
init) compatible across different kernels? It seems that
Thanks. I thought I had used something like that for ReactOS, but I
couldn't remember what it was. I'll try using that.
On Nov 7, 2014 5:13 AM, Christian Helmuth
christian.helm...@genode-labs.com wrote:
Hello Christian,
thanks for the script. In the past, I used the legacy support in Grub2
Thanks. I'll try that.
On Nov 11, 2014 6:14 AM, Christian Prochaska
christian.procha...@genode-labs.com wrote:
Hello Ben,
On 11/10/2014 04:44 AM, Nobody III wrote:
I have a serial cable and have connected two computers with it, but I
haven't been able to figure out how to obtain Genode's
I myself am not familiar enough with Genode to answer all your questions,
but I can answer the GPL question and give you some security advice.
The GPL will let you run closed-source applications on top of Genode like
they will on Linux, with the condition that you don't use any GPL-licensed
It's not working. Do you have any suggestions? Is there something else I
need to do?
On Nov 11, 2014 6:14 AM, Christian Prochaska
christian.procha...@genode-labs.com wrote:
Hello Ben,
On 11/10/2014 04:44 AM, Nobody III wrote:
I have a serial cable and have connected two computers
I tried it, but it didn't work.
On Nov 12, 2014 3:17 PM, Christian Prochaska
christian.procha...@genode-labs.com wrote:
On 12.11.2014 20:37, Nobody III wrote:
So I should try picocom on both sides?
Exactly. If you type something on one machine, it should appear on the
other
Thanks. I was wondering which kernel was best for RPI. It sounds like
Fiasco.OC is pretty good then.
On Nov 23, 2014 8:24 AM, Reinier Millo Sánchez rmi...@uclv.cu wrote:
Hi Genode community
Maybe there is anybody interested in use Genode for RaspberryPI with
Fiasco.OC as microkernel. I have
What is the status of the wifi support in general? I have a Ralink USB wifi
adapter. How much support does Genode have for it?
On Mon, Nov 24, 2014 at 10:03 AM, Christian Menard
christian.men...@ksyslabs.org wrote:
Hi,
ok, that's very good news :)
Christian
On Monday 24 November 2014
Is there a driver available for the Raspberry Pi's SD Card? If so, how do I
use it?
--
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and
How exactly do priorities work in Genode (e.g. do higher-priority tasks get
access to the CPU at the expense of lower-priority tasks whenever they
want, or is it more like the Linux scheduler's niceness?)
--
Download BIRT
When I try to compile the genode UART driver for the raspberry pi, I get
the following output:
Program drivers/uart/pl011/uart_drv
COMPILE main.o
/home/kingtux/Downloads/genode-master/repos/os/src/drivers/uart/pl011/main.cc:17:24:
fatal error: pl011_defs.h: No such file or directory
, Nobody III wrote:
Is there a driver available for the Raspberry Pi's SD Card? If so, how
do I use it?
--
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge
May I put in a request for USB wireless support? I know that it may take a
lot of effort, but I would really like support for my USB Ralink
RT2870/RT3070 wireless adapter. With wireless support and better IDE
support, I will be well-equipped to begin porting software to genode.
Based on the readme for the VESA driver, my HD monitor won't work at full
resolution in Genode. I had this same problem with Windows XP, which I was
able to solve with DTDCalculator, a tool which let me create custom video
modes. Since 1920x1080 was blacklisted (or something like that), I set the
Thanks. I will submit the request later today.
On Dec 1, 2014 3:59 AM, Norman Feske norman.fe...@genode-labs.com wrote:
Hi Ben,
May I put in a request for USB wireless support? I know that it may take
a lot of effort, but I would really like support for my USB Ralink
RT2870/RT3070
Thanks. So I could assign a small amount of memory to each process and then
each process wouldn't take much more than it needs.
On Dec 1, 2014 4:11 AM, Norman Feske norman.fe...@genode-labs.com wrote:
Hello Ben,
As far as I can tell, init will only allocate fixed amounts of memory to
each
My computer has a SATA hard drive which is only accessible through the IDE
interface (so AHCI doesn't work). Unfortunately, Genode doesn't detect it.
I mentioned this problem earlier, but now I have a null modem cable to get
the debugging info. Here is the full serial output:
Welcome to
I tried NOVA, but it rebooted as soon as the kernel started.
On Sun, Dec 7, 2014 at 3:22 AM, Nobody III hungryninja...@gmail.com wrote:
I had problems with foc. I'll try NOVA.
On Tue, Dec 2, 2014 at 10:03 AM, Christian Helmuth
christian.helm...@genode-labs.com wrote:
Hello Ben,
On Mon
Is the Genode AHCI driver supposed to announce service Block? I've seen
the AHCI test script, but it fails. Is there any scenario in which the
driver is known to work?
--
Download BIRT iHub F-Type - The Free
I'm using an AMD FX-8320. I get results similar to the test script. The
main difference I remember is 64 bit: yes. It never actually announces
the service.
On Dec 16, 2014 12:52 AM, Christian Helmuth
christian.helm...@genode-labs.com wrote:
Hi,
On Tue, Dec 16, 2014 at 01:48:45AM +, Nobody
I myself have been trying to do my own work on making Genode a
general-purpose OS, and am willing to contribute a fair amount, however I
have always been running into block device issues. The AHCI and ATAPI
drivers don't work, and the USB driver isn't working for USB storage. All 3
drivers fail to
I originally thought that the AHCI driver wasn't working, but my issue may
be with the part_blk driver. The part_blk driver never starts, but AHCI
announces service Block. Any help?
--
Dive into the World of Parallel
Sorry, but I have no experience with coding drivers, and I'm unfamiliar
with the relevant hardware interfaces. As for AHCI, after recording a video
of Genode's output (serial communication isn't working), I found that it
does annonce sevice Block, however part_blk doesn't give any output
:40PM +, Nobody III wrote:
I originally thought that the AHCI driver wasn't working, but my issue
may
be with the part_blk driver. The part_blk driver never starts, but AHCI
announces service Block. Any help?
Maybe your config files is missing routing entries for the Block
service
I second that suggestion.
On Dec 24, 2014 1:48 AM, Wolfgang Schmidt wolfgang.schm...@gemy.de
wrote:
Hi,
i would propose something quite boring:
Automated tests of each component and script and giving the results on a
web
page so one can easily see if everything is up and running together
Gmail is strugging with sending one or more of my emails, so I've created a
new email thread. Basically, AHCI isn't working with part_blk for me. I am
running genode (foc_x86_32) on real hardware. With rom_blk, part_blk works
fine. With ahci, it freezes. I have found the line of code in part_blk
See my update email.
On Dec 26, 2014 9:07 PM, Christian Helmuth
christian.helm...@genode-labs.com wrote:
Hi,
On December 24, 2014 11:35:40 PM CET, Nobody III hungryninja...@gmail.com
wrote:
It appears that main() never actually starts with AHCI.
Are you sure that part_blk was started
By the way, since the video doesn't show colored output very well, I'll
mention that it does show Int status: 0 global: 0 port: 0 error: 0.
On Dec 28, 2014 7:18 PM, Sebastian Sumpf sebastian.su...@genode-labs.com
wrote:
Here are my three cents,
On 12/28/2014 07:26 AM, Nobody III wrote:
Gmail
)
Somewhere in there, it freezes. If I had more time, I would break it up and
dig deeper.
On Thu, Dec 25, 2014 at 2:30 PM, Christian Helmuth
christian.helm...@genode-labs.com wrote:
Hello,
On Wed, Dec 24, 2014 at 10:35:40PM +, Nobody III wrote:
It appears that main() never actually starts
Thanks a lot!
On Jan 27, 2015 11:41 AM, Jeroen Slim van Gelderen asks...@gmail.com
wrote:
Funny you should say this. I've been building a GPIO driver for the
Raspberry Pi, as well as a generic dummy GPIO driver that plays back input
events from a list. (So it is possible to write and test
By the way, Norman, what would be a good project for me to get started on
while I'm waiting for the people who understand the AHCI and part_blk
drivers?
On Tue, Jan 27, 2015 at 11:12 PM, Nobody III hungryninja...@gmail.com
wrote:
Thanks a lot!
On Jan 27, 2015 11:41 AM, Jeroen Slim van Gelderen
Thanks. Can you help me get started?
On Jan 27, 2015 2:53 AM, Norman Feske norman.fe...@genode-labs.com
wrote:
Hi Ben,
Two things I would be very much interested in (after SD card support)
are GPIO and camera support. Any progress on those?
don't wait for it, go for it!
In your prior
Two things I would be very much interested in (after SD card support) are
GPIO and camera support. Any progress on those?
On Mon, Jan 26, 2015 at 7:51 PM, Norman Feske norman.fe...@genode-labs.com
wrote:
Hi Jeroen,
There seems to be Raspberry Pi support in the Genode base-hw kernel. To
The run script run/ahci freezes in qemu, on all kernels I have tried. Is
this an ACPI issue, or is it something else?
--
Dive into the World of Parallel Programming! The Go Parallel Website,
sponsored by Intel and
. Should a
question remain unanswered for a week, a wake-up message from your side
is appreciated. ;-)
On 01/06/2015 02:55 AM, Nobody III wrote:
I have been experimenting with things related to my issue when using
part_blk with ahci, and I have found that it works fine in both QEMU
My emails to the mailing list aren't getting any replies, so I'm starting
to wonder whether anyone's actually seeing them. If you see this, could you
please reply to it, so I know that it's getting through to the mailing list?
that your emails got
through:
http://sourceforge.net/p/genode/mailman/genode-main/
Cheers
Norman
On 01/07/2015 10:44 PM, Nobody III wrote:
My emails to the mailing list aren't getting any replies, so I'm
starting to wonder whether anyone's actually seeing them. If you see
this, could
No. I was hoping I wouldn't need to do that. I'll try it. Thanks!
On Apr 28, 2015 12:45 AM, Stefan Kalkowski
stefan.kalkow...@genode-labs.com wrote:
Hi,
On 04/28/2015 06:37 AM, Nobody III wrote:
I updated to the latest git version of Genode, then tried to build the
demo scenario
I updated to the latest git version of Genode, then tried to build the demo
scenario. Unfortunately, it doesn't run on any of the kernels I've tried.
Here is the make output relevant to the error:
make[1]: Leaving directory '/home/kingtux/genode/build/nova_x86_64'
genode build completed
wrong #
I would like Genode to support my monitor's native resolution, 1920x1080,
which my BIOS doesn't support. I have a Radeon HD 5450 video card. What is
the easiest way to support the resolution? Do I need a Radeon HD-specific
driver, or can I add additional display modes through another means?
Well, it seems that I was mostly wrong about dlfcn functions not being
implemented. That's nice to know.
Hello Aditya,
* Aditya Kousik adit267.kou...@gmail.com [2015-04-30 21:47:56 -0700]:
Thanks for the replies. Yes, right after I posted the mail, I noticed the
native port of 'sqlite' already
I don't know everything about Genode, but it sounds like I can maybe help
you. Libdl/dlfcn is part of glibc. You can download the source code here:
https://sourceware.org/git/?p=glibc.git;a=tree;f=dlfcn;h=f7d4dfdce29d99c222176e35d58b3e06a836e414;hb=HEAD
Genode includes a dynamic linker, so you
After further investigation, I found that the AHCI driver is stalling on
_irq_rec.wait_for_signal(); (ahci_device_base.h). This suggests that the
interrupt mechanism may be at fault. Where should I go from here?
On Wed, Apr 29, 2015 at 3:33 PM, Nobody III hungryninja...@gmail.com
wrote:
Months
By the way, I'm using acpi, and the driver says it supports my acpi table
format.
On Wed, Apr 29, 2015 at 10:51 PM, Nobody III hungryninja...@gmail.com
wrote:
After further investigation, I found that the AHCI driver is stalling on
_irq_rec.wait_for_signal(); (ahci_device_base.h
Months ago, I had issues with the AHCI driver not working with part_blk. I
tested a simple scenario with AHCI and a non-writing version of
test-blk-cli. It didn't work (test-blk-cli-nowrite didn't give any output),
but the AHCI driver gave its normal output. I tested a slightly modified
config
requesting for resources and core just seems to run out of
it, and I'm running into segfaults on the way. But at, least I've got the
ball rolling.
Cheers,
Aditya
On Sun, May 10, 2015 at 2:42 PM, Nobody III hungryninja...@gmail.com
wrote:
ld.lib.so is the dynamic linker. You need to include
for system-wide
and user-specific applications. Do you have any ideas on this? I could see
the panel/desktop becoming overly complex.
On Sun, May 10, 2015 at 5:15 PM, Norman Feske norman.fe...@genode-labs.com
wrote:
Hi Ben,
On 05/09/2015 05:53 AM, Nobody III wrote:
Genode's window manager
I haven't tested it yet, but this looks like a good step toward ext3/ext4
support. Genode is in need of a journaling filesystem, so this is good
news. I know that this is just an ext2 implementation for now, but having a
native driver looks like a step in the right direction.
I looked over the
Genode's window manager is very simple and lacks the following
functionality:
minimize/maximize/restore
close window
force kill
It seems like the nitpicker service should be modified to support whichever
of these functions it doesn't already. I'm unsure of how exactly force kill
could be
norman.fe...@genode-labs.com
wrote:
Hi Ben,
On 05/10/2015 10:50 PM, Nobody III wrote:
Thanks for getting me to reread the New GUI Architecture page. It
answers some of my questions, but not all of them.
For adding minimize/maximize/restore/close buttons to the window
decorations, how do
I second what Norman said. By the way, Norman (or anyone else who can
answer), does RPi networking work on Genode yet?
On Wed, May 20, 2015 at 6:09 PM, Norman Feske norman.fe...@genode-labs.com
wrote:
Hi Pirmin,
On 05/20/2015 06:41 PM, Duss Pirmin wrote:
To control this SPI, I2C and GPIO
requests. Is this good, or is it going to be too slow? How much overhead is
there per process and per thread on Genode?
On Tue, Jun 16, 2015 at 2:25 AM, Nobody III hungryninja...@gmail.com
wrote:
I've started looking into it—I just don't feel like I know enough to
ensure great security. Maybe I
Tor, an anonymity network, is used to get around NSA spying and the like.
Unfortunately, The NSA has been using a workaround: hack the computers that
try using Tor by exploiting vulnerabilities in Tor Browser, a slightly
modified version of Firefox. Tails is a Linux distribution that uses Tor
for
Basically, it looks like Genode is about the only way to be NSA-proof. Yes,
the NSA will likely be able to tell that you're using Genode, but they
won't be as able to hack it as with Tails.
On Jun 14, 2015 6:01 PM, Jookia 166...@gmail.com wrote:
Hi!
I use Tor as part of my threat model on my
What is the state of file permissions in Genode? And what is the plan for
the future?
--
___
genode-main mailing list
genode-main@lists.sourceforge.net
I would love to see a web browser that uses Genode's security features and
is much more feasible to audit than Chrome, Firefox, etc.
On Mon, Jun 15, 2015 at 12:42 PM, Jookia 166...@gmail.com wrote:
On Mon, Jun 15, 2015 at 11:00:54AM +0200, Norman Feske wrote:
Hi again,
everything you
, Jun 15, 2015 at 12:48:38AM +, Nobody III wrote:
Basically, it looks like Genode is about the only way to be NSA-proof.
Yes,
the NSA will likely be able to tell that you're using Genode, but they
won't be as able to hack it as with Tails.
Let's not assume there's a silver bullet
Cheers
Norman
On 05/29/2015 08:54 AM, Christian Helmuth wrote:
Hello Ben,
On Thu, May 28, 2015 at 04:08:53PM +, Nobody III wrote:
As for working with git/Github, I'm still not very experienced. I've
forked
Genode and added the lshw output as lshw.log, but I'm not sure where to
go
Also, 13.05 is years old. You should probably update to 15.05 or the master
branch from Github.
On Fri, May 29, 2015 at 2:39 PM, Reinier Millo Sánchez rmi...@uclv.cu
wrote:
Hi Sunyu
We're trying to port Genode(15.02) to Odroid-X2 (Samsung Exynos 4412). We
have made all the configuration on
Here's the output from Fiasco.OC. My test, test-blk-cli-nowrite, should
read from my SSD, and give output similar to test-blk-cli, but it doesn't.
Note that it works in Qemu.
Bender: Hello World.
Need 06a96000 bytes to relocate modules.
Relocating to 7956a000:
Copying 10485760 bytes...
Copying
I've tried to get AHCI to work several times. With the new AHCI driver (I
updated Genode today), I thought it would finally work. It discovers my
devices correctly (2 ATA and one ATAPI), and my configuration is good.
(I've updated it and tested an almost identical scenario in Qemu.) I've
tried it
Thanks! I'm still new to Git, but I don't want to wade through a ton of
documentation just to find a few answers.
On Fri, May 29, 2015 at 6:12 PM, Norman Feske norman.fe...@genode-labs.com
wrote:
Hi Ben,
On 05/29/2015 06:16 PM, Nobody III wrote:
Thanks for the links. I understand a little
My mindset has basically been that it when it could take me hours to find a
solution that someone else already knows, it seems a little pointless. As
for Git specifically, it seems like a tool with many advanced features,
most of which I'll never use. Also, I'm better at learning to use tools by
Go to the root Genode directory (genode-15.05) and type
./tool/create_builddir nova_x86_64 (or nova_x86_32). Then build
everything you want from the build directory created. If you need more
details, genode.org has a page on getting started/building genode.
On Aug 16, 2015 2:22 AM, Thotheolh Tay
to do some mechanical work later. Secure,
high assurance boot is
fully enabled.
On Tue, Jul 28, 2015 at 8:11 PM, Sebastian Sumpf
sebastian.su...@genode-labs.com wrote:
Hi Ben,
On 07/27/2015 05:42 PM, Nobody III wrote:
One possible target for Genode, aside from PCs and development
One possible target for Genode, aside from PCs and development boards,
would be smartphones. The security measures tend to be don't install this
app if you don't want to give it these permissions. With Genode, this
problem is easy to fix. Also, security exploits would be a lot harder. It
seems to
For security purposes, you should keep L4Linux from being able to access
sensitive data or otherwise cause problems. The sensitive stuff (e.g.
crypto) should be running on Genode instead of in L4Linux, or at least in a
separate L4Linux system. For security purposes, think of L4Linux as a fast
1 - 100 of 217 matches
Mail list logo