On Mon, Aug 06, 2012 at 04:47:36PM -0700, Wajidali Whowe wrote:
> I prepared another iso image including only l4linux and a small file system
> prepared by the buildroot (including busybox).
> the .devs file was exactly the same as the one that I sent before and
> similarly the .vbus file. The fo
Hi,
On Sun Aug 05, 2012 at 19:12:16 -0700, Andy Wagner wrote:
> Many thanks for your response.
>
> Yes, reading valid addresses from l4linux within the aips1 region hangs
> including
> CCM_CCR.
>
> The fiasco kernel does have read access;
> Aips1[0]:
> Aips1[1]:
> MXC_CCM_CCR:
On Mon, Aug 06, 2012 at 07:45:15AM -0700, Wajidali Whowe wrote:
> I am testing the iso image file on the qemu with the following line:
> qemu -cdrom android.iso -boot d -m 1024 -net nic,model=e1000 -net user
> -serial stdio
>
>
> and the outcome of "lspci" is unfortunately terrible:
> "lspci:
Hi Matthias,
I am testing the iso image file on the qemu with the following line:
qemu -cdrom android.iso -boot d -m 1024 -net nic,model=e1000 -net user -serial
stdio
and the outcome of "lspci" is unfortunately terrible:
"lspci: /sys/bus/pci/devices: No such file or directory"
Best Regards,
On Mon, Aug 06, 2012 at 05:56:40AM -0700, Wajidali Whowe wrote:
> Hi Matthias, thanks for the fast reply. Indeed I have already added the bus
> for PCI devices into the x86.vbus file as follows:
>
> I guess the "pci[] => wrap(hw-root.match("PCI/CC_02"));" line should have
> been handling this, I
Sorry forgot to add the index of x86-legacy.devs:
# vim:set ft=ioconfig:
# extend the real system bus with some platform devices
hw-root
{
PS2 => new Device()
{
.hid = "PNP0303";
new-res Io(0x60);
new-res Io(0x64);
new-res Irq(1, 0x00);
new-res Irq(12, 0x00);
}
Hi Matthias, thanks for the fast reply. Indeed I have already added the bus for
PCI devices into the x86.vbus file as follows:
rtc => new System_bus()
{
# Add the RTC (PNP0B00) as a virtual device
rtc => wrap(hw-root.match("PNP0B00"));
}
con_bus => new System_bus()
{
ps2 => wrap(hw-root.ma
On Mon, Aug 06, 2012 at 02:35:02AM -0700, Wajidali Whowe wrote:
> Dear all,
>
> I have been working on running different linux based OSs on top of L4.
> Is there any documentation or tutorial where I might find information on how
> to make platform devices available for the linux OS running on t
Dear all,
I have been working on running different linux based OSs on top of L4.
Is there any documentation or tutorial where I might find information on how to
make platform devices available for the linux OS running on top of L4. For
instance, I could not get ethernet devices detected by the