- l4-hackers - example.com Site

l4linux boot failed
by Nicolas VARONA 30 Jan '15

30 Jan '15

Hi l4Hackers, I want to run the l4linux given in l4re-snapshot-2014092821. So, I built the fiasco and the l4re. I created an iso image with grub2 and the modules given in example (entry l4linux) as test: make grub2iso E=L4linux MODULES_LIST=$cwd/l4/conf/modules.list MODULE_SEARCH_PATH=$cwd/kernel/fiasco/mybuild qemu-system-i386 -m 512M -cdrom l4linux.iso -serial file:$cwd/log I enabled needed options such as the VPCI bus and followed the instructions given in mails approaching my problem (http://os.inf.tu-dresden.de/pipermail/l4-hackers/2013/005938.html and http://os.inf.tu-dresden.de/pipermail/l4-hackers/2011/004861.html ). I can launch Linux but the boot crashes. I also tried with VBUS and modaddr 0x02000000 with the same result. So I put the logs in a file. I tried unsuccessfully to see my mistake. In addition, are the last warnings a problem? My configuration: I run a Kubuntu in a Vm: Distributor ID: Ubuntu Description: Ubuntu 14.04.1 LTS Release: 14.04 it's a x86-32bit I have: gcc (Ubuntu 4.8.2-19ubuntu1) 4.8.2 I wanted to compile for i386. I give to you the log file, the module list, and the l4lx-gfx.cfg used in modules. Thanks in advance for your help, Nicolas ################################### log ######################################### L4 Bootstrapper Build: #2 mardi 27 janvier 2015, 15:47:44 (UTC+0100), x86-32, 4.8.2 RAM: 0000000000000000 - 000000000009fbff: 639kB RAM: 0000000000100000 - 000000001fffdfff: 523256kB Total RAM: 511MB Scanning fiasco -serial_esc Scanning sigma0 Scanning moe rom/l4lx-gfx.cfg need 1244 bytes to copy MBI reserved 1244 bytes at 0x2000 Moving up to 13 modules behind 1100000 moving module 12 { 22a1000-25a0fff } -> { 318c000-348bfff } [3145728] moving module 11 { 1dc0000-22a0ccc } -> { 2cab000-318bccc } [5115085] moving module 08 { 195d000-1dbf07b } -> { 2848000-2caa07b } [4595836] moving module 07 { 17d4000-195cea8 } -> { 26bf000-2847ea8 } [1609385] moving module 06 { 8c3000-17d30c3 } -> { 17ae000-26be0c3 } [15794372] moving module 04 { 66c000-8c2741 } -> { 1557000-17ad741 } [2451266] moving module 03 { 532000-66b48c } -> { 141d000-155648c } [1283213] moving module 02 { 2e0000-531e7b } -> { 11cb000-141ce7b } [2432636] moving module 10 { 214000-214226 } -> { 11ca000-11ca226 } [551] moving module 09 { 213000-21323e } -> { 11c9000-11c923e } [575] moving module 05 { 212000-21256a } -> { 11c8000-11c856a } [1387] moving module 01 { 1bc000-211dca } -> { 1172000-11c7dca } [351691] moving module 00 { 14a000-1bb4f7 } -> { 1100000-11714f7 } [464120] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x400000 Regions of list 'regions' [ 0, fff] { 1000} Arch BIOS [ 1000, 1fff] { 1000} Kern fiasco [ 2000, 24db] { 4dc} Root mbi_rt [ 9fc00, 9ffff] { 400} Arch BIOS [ f0000, fffff] { 10000} Arch BIOS [ 100000, 10b193] { b194} Sigma0 sigma0 [ 140000, 193363] { 53364} Root moe [ 2d0400, 2df43f] { f040} Boot bootstrap [ 300000, 38ffff] { 90000} Kern fiasco [ 400000, 475fff] { 76000} Kern fiasco [ 11c8000, 11cafff] { 3000} Root Module [ 141d000, 348bfff] { 206f000} Root Module [ 1fffe000, 1fffffff] { 2000} Arch BIOS [ fffc0000, ffffffff] { 40000} Arch BIOS API Version: (87) experimental Sigma0 config ip:0010021c sp:00000000 Roottask config ip:001401f6 sp:00000000 Starting kernel fiasco at 00300854 [1;32mWelcome to Fiasco.OC (ia32)! [0;32mL4/Fiasco.OC ia32 microkernel (C) 1998-2013 TU Dresden Rev: unknown compiled with gcc 4.8.2 for Intel Pentium Pro [] Build: #12 Tue Jan 27 15:29:54 CET 2015 [0m [31mPerformance-critical config option(s) detected: CONFIG_NDEBUG is off [m Superpages: yes Kmem:: cpu page at 1fff8000 (4096Bytes) ACPI-Init ACPI: RSDP[0xf09e0] r00 OEM:BOCHS. ACPI: RSDT[0x203ffbc1] r01 OEM:BOCHS. OEMTID:BXPCRSDT ACPI: FACP[0x203ff1c0] r01 OEM:BOCHS. OEMTID:BXPCFACP ACPI: SSDT[0x203ff234] r01 OEM:BOCHS. OEMTID:BXPCSSDT ACPI: APIC[0x203ffb11] r01 OEM:BOCHS. OEMTID:BXPCAPIC ACPI: HPET[0x203ffb89] r01 OEM:BOCHS. OEMTID:BXPCHPET IO-APIC: MADT = 0x203ffb11 IO-APIC[ 0]: struct: 0x203ffb45 adr=fec00000 IO-APIC[ 0]: pins 24 PIN[ 0m]: vector=20, del=0, dm=physical, dest=0 (high, edge) PIN[ 1m]: vector=21, del=0, dm=physical, dest=0 (high, edge) PIN[ 2m]: vector=22, del=0, dm=physical, dest=0 (high, edge) PIN[ 3m]: vector=23, del=0, dm=physical, dest=0 (high, edge) PIN[ 4m]: vector=24, del=0, dm=physical, dest=0 (high, edge) PIN[ 5m]: vector=25, del=0, dm=physical, dest=0 (high, edge) PIN[ 6m]: vector=26, del=0, dm=physical, dest=0 (high, edge) PIN[ 7m]: vector=27, del=0, dm=physical, dest=0 (high, edge) PIN[ 8m]: vector=28, del=0, dm=physical, dest=0 (high, edge) PIN[ 9m]: vector=29, del=0, dm=physical, dest=0 (high, edge) PIN[10m]: vector=2a, del=0, dm=physical, dest=0 (high, edge) PIN[11m]: vector=2b, del=0, dm=physical, dest=0 (high, edge) PIN[12m]: vector=2c, del=0, dm=physical, dest=0 (high, edge) PIN[13m]: vector=2d, del=0, dm=physical, dest=0 (high, edge) PIN[14m]: vector=2e, del=0, dm=physical, dest=0 (high, edge) PIN[15m]: vector=2f, del=0, dm=physical, dest=0 (high, edge) PIN[16m]: vector=30, del=0, dm=physical, dest=0 (high, edge) PIN[17m]: vector=31, del=0, dm=physical, dest=0 (high, edge) PIN[18m]: vector=32, del=0, dm=physical, dest=0 (high, edge) PIN[19m]: vector=33, del=0, dm=physical, dest=0 (high, edge) PIN[20m]: vector=34, del=0, dm=physical, dest=0 (high, edge) PIN[21m]: vector=35, del=0, dm=physical, dest=0 (high, edge) PIN[22m]: vector=36, del=0, dm=physical, dest=0 (high, edge) PIN[23m]: vector=37, del=0, dm=physical, dest=0 (high, edge) IO-APIC: dual 8259: yes IO-APIC: ovr[ 0] 00 -> 2 0 IO-APIC: ovr[ 1] 05 -> 5 d IO-APIC: ovr[ 2] 09 -> 9 d IO-APIC: ovr[ 3] 0a -> a d IO-APIC: ovr[ 4] 0b -> b d Allocate cpu_mem @ 0xfeffa400 FPU0: SSE Local APIC[00]: version=11 max_lvt=5 APIC ESR value before/after enabling: 00000000/00000000 Using the Local APIC timer on vector 90 (Periodic Mode) for scheduling ACPI: FACS phys=1fffe000 virt=0x203fe000 ACPI: HW sig=0 SERIAL ESC: allocated IRQ 4 for serial uart Absolute KIP Syscalls using: Sysenter Enable MSI support: chained IRQ mgr @ 0xfeffa150 SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. CPU[0]: GenuineIntel (6:6:3:0)[00000663] Model: QEMU Virtual CPU version 2.0.0 at 3392MHz 32 KB L1 I Cache (8-way associative, 64 bytes per line) 32 KB L1 D Cache (8-way associative, 64 bytes per line) 2048 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 24576 bytes (6 pages) Calibrating timer loop... done. MDB: use page size: 22 MDB: use page size: 12 SIGMA0: Hello! KIP @ 400000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [4:2000;2fff] [0:3000;9efff] [0:10c000;13ffff] [4:140000;193fff] [0:194000;3fffff] [0:470000;11c7fff] [4:11c8000;11cafff] [0:11cb000;141cfff] [4:141d000;348bfff] [0:348c000;1d70ffff] IOMEM:---------------------- [0:0;fff] [0:9f000;fffff] [0:1fffe000;febfffff] [0:fec01000;fedfffff] [0:fee01000;ffffffff] IO PORTS-------------------------- [0:0;fffffff] MOE: Hello world MOE: found 447912 KByte free memory MOE: found RAM from 2000 to 1d710000 MOE: allocated 471 KByte for the page array @0x3000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [141d000-155648d] [C:503000] l4re BOOTFS: [1557000-17ad742] [C:504000] ned BOOTFS: [11c8000-11c856b] [C:505000] l4lx-gfx.cfg BOOTFS: [17ae000-26be0c4] [C:506000] io BOOTFS: [26bf000-2847ea9] [C:507000] fb-drv BOOTFS: [2848000-2caa07c] [C:508000] mag BOOTFS: [11c9000-11c923f] [C:509000] x86-legacy.devs BOOTFS: [11ca000-11ca227] [C:50a000] l4lx-x86.io BOOTFS: [2cab000-318bccd] [C:50b000] vmlinuz BOOTFS: [318c000-348c000] [C:50c000] ramdisk-x86.rd No fpage received MOE: cmdline: moe rom/l4lx-gfx.cfg MOE: Starting: rom/ned rom/l4lx-gfx.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/l4lx-gfx.cfg' [37mio | Io service[0m [37mio | Find root Pointer[0m [37mio | Find root Pointer: f09e0[0m [37mio | ACPI: RSDP 0xf09e0 00014 (v00 BOCHS )[0m [37mio | ACPI: RSDT 0x1ffffbc1 00034 (v01 BOCHS BXPCRSDT 00000001 BXPC 00000001)[0m [37mio | ACPI: FACP 0x1ffff1c0 00074 (v01 BOCHS BXPCFACP 00000001 BXPC 00000001)[0m [37mio | ACPI: DSDT 0x1fffe040 01180 (v01 BOCHS BXPCDSDT 00000001 BXPC 00000001)[0m [37mio | ACPI: FACS 0x1fffe000 00040[0m [37mio | ACPI: SSDT 0x1ffff234 008DD (v01 BOCHS BXPCSSDT 00000001 BXPC 00000001)[0m [37mio | ACPI: APIC 0x1ffffb11 00078 (v01 BOCHS BXPCAPIC 00000001 BXPC 00000001)[0m [37mio | ACPI: HPET 0x1ffffb89 00038 (v01 BOCHS BXPCHPET 00000001 BXPC 00000001)[0m [37mio | Parsing all Control Methods:[0m [37mio | Table [[0m[37mDSDT](id 0001) - 144 Objects with 18 Devices 52 Methods 8 Regions[0m [37mio | Parsing all Control Methods:[0m [37mio | Table [[0m[37mSSDT](id 0002) - 155 Objects with 32 Devices 42 Methods 1 Regions[0m [37mio | tbxfload-0274 [02] TbLoadNamespace : ACPI Tables successfully acquired[0m [37mio | evxfevnt-0175 [02] Enable : Transition to ACPI mode successful[0m [37mio | evgpeblk-0523 [04] EvCreateGpeBlock : GPE 00 to 0F [_GPE] 2 regs on int 0x9[0m [37mio | Completing Region/Field/Buffer/Package initialization:.....................................[0m [37mio | Initialized [0m[37m9/9 Regions 2/2 Fields 21/21 Buffers 5/5 Packages (308 nodes)[0m [37mio | Initializing Device/Processor/Thermal objects by executing _INI methods:[0m [37mio | Executed [0m[37m0 _INI methods requiring 1 _STA executions (examined 53 objects)[0m [37mio | ACPICA-Version:20121018, System in ACPI MODE, 32bit timer[0m [37mio | evgpeblk-0615 [03] EvInitializeGpeBlock : Enabled 16 GPEs in this block[0m [37mio | IRQ [00000000000000-00000000000000 1] none (32bit) (align=0 flags=40201)[0m [37mio | IRQ [00000000000000-00000000000000 1] none (32bit) (align=0 flags=40201)[0m [37mio | rom/l4lx-x86.io[0m[37m:[0m[37m17[0m[37m.[0m[37m28[0m[37m-[0m[37m36[0m[37 m: warning: could not find '[0m[37mPNP0100[0m[37m'[0m[37m[0m [37mio | Ready. Waiting for request.[0m [37mmag | Hello from MAG[0m [37mfb-drv | Trying execution of ``set VBE mode'' using x86emu[0m [37mfb-drv | Found VESA BIOS version 3.0[0m [37mfb-drv | OEM [0m[37mSeaBIOS VBE(C) 2011[0m [37mfb-drv | VBE mode 0x117 successfully set.[0m [37mfb-drv | Framebuffer memory: phys: fc000000 - fc400000[0m [37mfb-drv | virt: 400000 - 800000[0m [37mfb-drv | Starting server loop[0m [37mmag | mapped frame buffer at 0x400000[0m [37mmag | View::Info:[0m [37mmag | flags: 0[0m [37mmag | size: 1024x768 pos: 0, 0[0m [37mmag | bytes_per_line: 2048[0m [37mmag | buffer_offset: 0[0m [37mmag | RGBA(2): 5(11):6(5):5(0):0(0)[0m [37mmag | memory 400000-800000[0m [37mmag | Plugin: Mag_client service started[0m [37mmag | Plugin: Frame-buffer service started[0m [37mmag | L4INPUT native mode activated[0m [37mmag | L4INPUT: !!! W A R N I N G !!![0m [37mmag | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT.[0m [37mmag | L4INPUT: !!! W A R N I N G !!![0m[37m[0m [37mmag | serio: i8042 AUX port at 0x60,0x64 irq 12[0m [37mmag | serio: i8042 KBD port at 0x60,0x64 irq 1[0m [37mmag | input: ImExPS/2 Generic Explorer Mouse on isa0060/serio1[0m [37mmag | input: AT Translated Set 2 keyboard on isa0060/serio0[0m [37mmag | connect "ImExPS/2 Generic Explorer Mouse", isa0060/serio1/input0[0m [37mmag | connect "AT Translated Set 2 keyboard", isa0060/serio0/input0[0m [33ml4linux | PH 0 (t: 1) offs=00001000 vaddr=00400000 vend=007d0000[0m [33ml4linux | phys=[0m[33m00400000 ephys=007d0000[0m [33ml4linux | f_sz=[0m[33m003d0000 memsz=003d0000 flgs=r-x[0m [33ml4linux | PH 1 (t: 1) offs=003d1000 vaddr=007d0000 vend=008e3000[0m [33ml4linux | phys=[0m[33m007d0000 ephys=008e3000[0m [33ml4linux | f_sz=[0m[33m00063316 memsz=00113000 flgs=rw-[0m [33ml4linux | PH 2 (t: 4) offs=002eb18c vaddr=006ea18c vend=006ea1b0[0m [33ml4linux | phys=[0m[33m006ea18c ephys=006ea1b0[0m [33ml4linux | f_sz=[0m[33m00000024 memsz=00000024 flgs=---[0m [33ml4linux | Starting binary at 0x400000, argc=6 argv=0xafff4f90 *argv=0xb1007ff4 argv0=rom/vmlinuz[0m [33ml4linux | External resolver is at 0xa80006f9[0m [33ml4linux | [34;1m======> L4Linux starting... <========[0m[0m [33ml4linux | Linux version 3.16.0-l4 (novasys@ubuntu) (gcc version 4.8.2 (Ubuntu 4.8.2-19ubuntu1) ) #54 Fri Jan 30 10:35:02 CET 2015[0m [33ml4linux | Binary name: rom/vmlinuz[0m [33ml4linux | Linux kernel command line (5 args): mem=64M console=tty0 l4x_rd=rom/ramdisk-x86.rd root=1:0 ramdisk_size=4000[0m [33ml4linux | CPU mapping (l:p)[1]: 0:0[0m [33ml4linux | Image: 00400000 - 008e3000 [5004 KiB].[0m [33ml4linux | Areas: Text: 00400000 - 007d0000 [3904kB] (a bit longer)[0m [33ml4linux | Data: 007d0000 - 00805700 [213kB][0m [33ml4linux | Initdata: 00807000 - 00834000 [180kB][0m [33ml4linux | BSS: 00834000 - 008cd000 [612kB][0m [33ml4linux | gs=43 fs=43[0m [33ml4linux | Device scan:[0m [33ml4linux | Device: L4ICU[0m [33ml4linux | Device: PCI0[0m [33ml4linux | Device: pci_l4x[0000][0m [33ml4linux | PORT: 0000c040 - 0000c04f[0m [33ml4linux | PORT: 000001f0 - 000001f7[0m [33ml4linux | PORT: 000003f6 - 000003f6[0m [33ml4linux | IRQ: 0000000e - 0000000e[0m [33ml4linux | PORT: 00000170 - 00000177[0m [33ml4linux | PORT: 00000376 - 00000376[0m [33ml4linux | IRQ: 0000000f - 0000000f[0m [33ml4linux | Device: pci_l4x[0001][0m [33ml4linux | IRQ: 0000000b - 0000000b[0m [33ml4linux | MEM: febc0000 - febdffff[0m [33ml4linux | PORT: 0000c000 - 0000c03f[0m [33ml4linux | Device scan done.[0m [33ml4linux | l4x_fiasco_gdt_entry_offset = 9[0m [33ml4linux | rtc not found[0m [33ml4linux | WARNING: RTC server does not seem to be there![0m [33ml4linux | l4lx_thread_create: Created thread 417 (cpu0) (u:b3000e00, v:b3000c00, sp:007d1fac)[0m [33ml4linux | main thread will be 417[0m [33ml4linux | l4x_register_pointer_section: addr = 007d0000 size = 1126400[0m [33ml4linux | section-with-init: Virt: 0x7d0000 to 0x8e2fff [1100 KiB][0m [33ml4linux | section-with-init: Phys: 0x00ab5000 to 0x00bc7fff, [1100 KiB][0m [33ml4linux | Main thread running, waiting...[0m [33ml4linux | WARNING: Unknown wrmsr: 0000008b at 0x410c07[0m [33ml4linux | L4x: Memory size: 64MB[0m [33ml4linux | L4x: Setting superpages for main memory[0m [33ml4linux | L4x: Adjusted memory start: 00400000[0m [33ml4linux | Main memory: Virt: 0xc00000 to 0x4bfffff [65536 KiB][0m [33ml4linux | Main memory: Phys: 0x03800000 to 0x077fffff, [65536 KiB][0m [33ml4linux | l4x: vmalloc area: 04c00000 - 0cc00000[0m [33ml4linux | Filling lower ptabs...[0m [33ml4linux | Done (1819 entries).[0m [33ml4linux | l4x_register_pointer_section: addr = 00400000 size = 3997696[0m [33ml4linux | text: Virt: 0x400000 to 0x7cffff [3904 KiB][0m [33ml4linux | text: Phys: 0x0064f000 to 0x00a1efff, [3904 KiB][0m [33ml4linux | Loading: rom/ramdisk-x86.rd[0m [33ml4linux | INITRD: Size of RAMdisk is 3072KiB[0m [33ml4linux | RAMdisk from 0cd1b000 to 0d01b000 [3072KiB][0m [33ml4linux | rtc not found[0m [33ml4linux | l4lx_thread_create: Created thread 41e (timer0) (u:b3000a00, v:00000000, sp:00861fa8)[0m [33ml4linux | WARNING: Unknown wrmsr: 0000008b at 0x410c07[0m [33ml4linux | WARNING: Unknown rdmsr: 00000186 at 0x80e632[0m [33ml4linux | WARNING: Unknown rdmsr: 00000187 at 0x80e632[0m [33ml4linux | WARNING: Unknown wrmsr: 000000c1 at 0x80e704[0m [33ml4linux | Invalid IO-Port access at pc = 0081c97a port=0x110[0m [33ml4linux | Die message: Trap: 13[0m [33ml4linux | panic: going to sleep forever, bye[0m #################################### l4lx-gfx.cfg ########################### -- vim:set ft=lua: loader = L4.default_loader; local lxname = "vmlinuz"; if L4.Info.arch() == "arm" then lxname = "vmlinuz.arm"; end -- Start io vbus_l4linux = loader:new_channel(); vbus_input = loader:new_channel(); vbus_fbdrv = loader:new_channel(); loader:start( { caps = { sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0); icu = L4.Env.icu; input = vbus_input:svr(); l4linux = vbus_l4linux:svr(); fbdrv = vbus_fbdrv:svr(); }, }, "rom/io rom/x86-legacy.devs rom/l4lx-x86.io"); -- Start fb-drv (but only if we need to) local fb = L4.Env.vesa; if (not fb) then fb = loader:new_channel(); loader:start({ caps = { fb = fb:svr(), vbus = vbus_fbdrv }}, "rom/fb-drv -m 0x117"); end local mag_mag = loader:new_channel(); local mag_svc = loader:new_channel(); -- Start mag loader:start( { caps = { vbus = vbus_input; mag = mag_mag:svr(); svc = mag_svc:svr(); fb = fb; }, }, "rom/mag"); -- Start Linux loader:start( { caps = { log = L4.Env.log:m("rws"), fb = mag_svc:create(L4.Proto.Goos, "g=640x480"); vbus = vbus_l4linux; }, l4re_dbg = L4.Dbg.Warn, log = { "l4linux", "yellow" }, }, "rom/" .. lxname .. " mem=64M console=tty0 l4x_rd=rom/ramdisk-" .. L4.Info.arch() .. ".rd root=1:0 ramdisk_size=4000"); ############################## modules.list ###################################### modaddr 0x01100000 default-kernel fiasco -serial_esc default-bootstrap bootstrap entry L4Linux roottask moe rom/l4lx-gfx.cfg module l4re module ned module l4lx-gfx.cfg module io module fb-drv module mag module x86-legacy.devs module l4lx-x86.io module vmlinuz module ramdisk-x86.rd

2 1

Makefile in l4re
by Harini Balachandran 30 Jan '15

30 Jan '15

Sir, I have some doubts regarding makefile in l4re.What does each statement in a makefile in l4re refer to? For ex,what does REQUIRES_LIBS refer to? Thank you.

2 1

SOCKET PROGRAMMING IN L4RE
by Sushma Rao 30 Jan '15

30 Jan '15

Sir, 1.Is it possible to perform client server communication using sockets in l4re? If so, what libraries should be added to the code? 2.Does l4re supports native c++ code or should we write specific code for l4re to execute client server communication?

2 1

kobject kinvoke from ned
by teclis High Elf 30 Jan '15

30 Jan '15

Is there a way to send commands to the kinvoke method of a kobject from a ned script? I saw in l4/pkg/ned/doc/ned.dox that an IPC gate can be used to send an io stream directly from a ned script. Is there some lua sample code I could look at that shows making a kinvoke call of a kobject from a ned script? thanks

3 3

is there any step by step document?
by 水镜 29 Jan '15

29 Jan '15

hi , is there any step by step document about l4 kernel?‍

2 1

[Out-Of-Topic]How to Access Input GPIO of OMAP4460 without L4Re (direct access)
by Erry Pradana Darajati 28 Jan '15

28 Jan '15

Hi L4 Hackers, My subject seems out of topic, but i don't know where i can ask this kind of thing, and i think there are many people have a knowledge about this subject. I have a problem. I want to directly access GPIO140 (in GPIO5 ball) as input. I have a function to print the value of GPIO5_DATAIN (0x4805 B138). But when i print that out, the value of it still not changed (zero value). I Conclude, the pin still not accepting the input. I have already done these things : 1. Set GPIO5_OE to 0x1 2. See the value of MCSPI1_CS3 Pad Configuration (0x4A10 013C) and it give me value like this (0x011B 001B) which is for GPIO_140 -> MUX_MODE=gpio_140. PULLUDENABLE=0x1(enable). PULLTYPESELECT=0x1(enable). Which is in my current knowledge, is a right setting for accepting input. But still, it's still not successful So where or what did i miss ? is it still any configuration / address to set ? I appologize for the Out-of-Topic Subject .Thank you for any answer and suggestion and help. -- *Regards,* *Erry Pradana Darajati | Student of Computer Engineering* *Politeknik Elektronika Negeri Surabaya / EEPIS, Indonesia*

3 2

SERVICES
by Sushma Rao 28 Jan '15

28 Jan '15

Can you please suggest a simple kernel service(like ipc) which is not present in l4re but already existing in linux?

2 1

ERROR WHILE INSTALLING L4RE
by Sushma Rao 27 Jan '15

27 Jan '15

Sir when I execute the command make O=path/to/builddir while building l4re I got this error How to resolve it

3 2

Help in booting L4Linux(on Freescale i.MX6Q) using root file system on SD card.
by taeung 27 Jan '15

27 Jan '15

Hi, l4 hackers Is there anybody who can a bit give hints about SD card on L4 Linux to him ? On 01/26/2015 09:10 PM, Praveen B wrote: > Hi Taeung, > > Thank you very much. > > It is part of my Masters project. > My project is to run L4Android using Genode(www.genode.org > <http://www.genode.org>) framework on Freescale i.MX6 board. > But root filesystem has to be present on microSD Card. So I am trying > to enable SD card support for L4Linux right now. > > The guide describes how to enable Ethernet controller. Did you try to > enable SD card controller as well? Is it difficult than this? Yes I tried to enable SD card. But I couldn't do it. Because I didn't complete modifying 'mach_setup.c' in L4 linux to enable SD card. > > I have some doubts. > How do I give names such as, > NIC => new Device() --name: NIC > .hid = "imx6q-fec.0"; --imx6q-fec.0 > "imx6q-fec.dev" --imx6q-fec.dev > > Are they just arbitrary? Can I use any names of my choice if I want to > enable SD card support? Yes, but the name have to make a pair with the name of argument for 'l4x_register_platform_device_callback()' function. but I'm not sure it. > > The guide still uses ramdisk and not some other rootfs, isn't it? > Can I modify .cfg file so that I can boot from SD card > like(//dev/mmcblk1p1)?/ > In my opinion, in order to enable SD card in L4 you have to do as below.. 1. Register SD card in io server 2. Modify mach_setup.c for SD card 3. Modify SD card driver source code for L4 (if it is needed to enalbe SD card in L4) For anything I know, three things is my thought. Is there anybody who can a bit give hints to him ? > Thank you again for creating such a good guide for beginners like me. My pleasure, I had lots of help from l4-hackers. Thanks, Taeung > > Regards > Praveen > > > > On Mon, Jan 26, 2015 at 9:20 AM, taeung <treeze.taeung(a)gmail.com > <mailto:treeze.taeung@gmail.com>> wrote: > > Hi Praveen :-) > > Here it is > https://www.dropbox.com/s/os65yqiieay83hs/L4_Porting_and_Device_Driver_Guid… > > I'm sorry to be so late. > I forgot it. > > Cheer up ! > > Would you mind if I ask you a question about working on L4 Linux ? > Is the project homework from your university ? > > Thanks, > Taeung > > > > On 01/23/2015 06:47 PM, Praveen B wrote: >> Hi Taeung, >> >> I'm a student, working on L4Linux as part of my project. I am >> using Freescale i.MX6Q board. I'm trying to boot using root >> filesystem on SD card. But could not understand, how I could do it. >> >> It seems(from l4-hackers mailing list) that you have already >> tried to boot L4Linux using a different root filesystem than >> ramdisk on freescale i.mx6q board. >> >> Could you help me in doing this? >> >> I've read your post, >> http://os.inf.tu-dresden.de/pipermail/l4-hackers/2014/006463.html. >> But I could not find the file, >> https://www.dropbox.com/s/abj9ao5uk9r3w72/The_Guide_to_access_HW_on_L4Linux… >> >> It gives 404 error. *It would be very helpful if you can provide >> this file.* >> >> Please send the file or give any suggestions how I can proceed. >> >> Thank you >> Praveen > >

1 0

Clock/Power Management Framework on L4
by Li Qiu 26 Jan '15

26 Jan '15

Hi, Hackers, Under Linux, the clock framework defines programming interfaces to support software management of the system clock tree. Is there similar framerwork/server on L4 variants? Any information related to it would be useful. Thanks! -Li

2 1