- l4-hackers - example.com Site

add new package
by 水镜 11 Mar '15

11 Mar '15

hi ,i want to add a new package which is a lib. i use the log package as my base. now my package can be compiled. but when i want to use it in the moe, i got this errors: Library dependencies missing: libdbgobj in directory '/home/watermirror/source/src/l4re/pkg/moe/server/src'; aborting. /home/watermirror/source/src/l4re/mk/binary.inc:363: *** Cflags dependencies missing: libdbgobj in directory '/home/watermirror/source/src/l4re/pkg/moe/server/src'; aborting.. how to solve this problem?

2 1

seL4 and mysql
by André Bispo 06 Mar '15

06 Mar '15

Hello guys, I'm a student and i'm looking at the possibility of using an L4 microkernel in my thesis, my goal is to take advantage of isolation mechanism to in order to increase privacy in databases. But i have a couple of questions. 1) How feasible is the idea of having a MySQL database with a libOS running on top of seL4 microkernel? If it can be done, where should i start? Any tutorial? 2) if seL4 does not allow me to do it, is there another microkernel in the family of L4 better suited for this task? Thank you in advance. Best regards, Andre Bispo.

2 1

Where could i found the class implemention
by 水镜 05 Mar '15

05 Mar '15

hi, i am reading the source of clntsrv in pkg/examples directory. there are a lot of classes in the server.cc and client.cc which i could not found the implemention file, such as L4::Server_object. How could i get these?

2 1

how to get the log from serial
by 水镜 05 Mar '15

05 Mar '15

hi, how to get all the output log when startup helloworld example? i have build the iso file use command :make grub2iso.then boot this iso using vmware.‍ i can get the output log from serial when startup linux.

2 1

ARM with Qemu
by Nicolas VARONA 04 Mar '15

04 Mar '15

Hi l4Hackers, I am trying to set up a simulator with Qemu and l4linux ARM to simulate the Zynq board. I have successfully compiled Fiasco and L4 with the tool chain "arm-linux-gnueabi-gcc". I succeeded to launch l4linux but I have no input on l4linux when it's running on Qemu. Nevertheless, the fiasco jdb can be invoked. After reading the mailing list I changed the hello world program to take inputs and tried a bare metal application with l4re with the same result (I didn't modify the module list). So, I tried to do the same thing with the board and I have inputs with the l4 bare metal application and a kernel panic for the l4linux. I boot with the uboot image on it. Nonetheless, using uImage for qemu doesn't change anything: ./qemu-system-arm -M arm-generic-fdt-plnx -m 512M -kernel /path/bootstrap.uimage -dtb /path/devicetree.dtb -serial mon:stdio I tried to compile the u-boot from Xilinx and Qemu freezes when I launch the l4 application. To be sure I have done things right, I also tried the modified hello world program on x86 intel and it works well. Then I launched a Petalinux with Qemu and a uImage with uboot and it works. My Qemu is from Xilinx: QEMU emulator version 2.0.50 This is my program (taken from the mailing list: http://os.inf.tu-dresden.de/pipermail/l4-hackers/2014/006337.html <http://os.inf.tu-dresden.de/pipermail/l4-hackers/2014/006337.html> ): Main.c: #include <stdio.h> int main(void) { printf("Press some key: "); char c = getchar(); printf("\nYour input: %c (%d)\n", c, c); printf("Enter a number: "); int number; scanf("%x", &number); printf("Your number: %d\n", number); return 0; } Makefile: PKGDIR ?= ../.. L4DIR ?= $(PKGDIR)/../.. TARGET = hello SRC_C = main.c EQUIRES_LIBS = libc_be_file_stdin include $(L4DIR)/mk/prog.mk Module list: entry hello-cfg kernel fiasco -serial_esc roottask moe rom/hello.cfg module l4re module ned module hello.cfg module hello hello-cfg: require("L4"); L4.default_loader:start({caps={},log = L4.Env.log,},"rom/hello"); Could it be an interruption problem? Where is my mistake? Thanks in advance for your help, Nicolas

2 1

no such object found: rom/l4re backtrace
by 水镜 04 Mar '15

04 Mar '15

Hi, i have build the l4re,l4linux,fiasco for x86 successfully. when i boot try to boot l4linux, an error came out: FATAL exception in MOE: Exception: No such object found: rom/l4re: backtrace ... i use the vmware and ubuntu 14.04 to test the l4linux, here is the steps how i do my job: 1.create a directory 'l4linux' in /boot. 2.copy the bootstrap to '/boot/l4linux' from 'l4re_build/bin/x86_586' 3.copy all the file to '/boot/l4linux' in 'l4re_build/bin/x86_586/l4f' 4.copy the fiasco to '/boot/l4linux' from 'fiasco_build/bin' 5.copy the vmlinuz to '/boot/l4linux' form 'l4linux_build' 6.download the drops-rd.rd to '/boot/l4linux' 7.create the l4linux.cfg in '/boot/l4linux' 8.create the modules.list in '/boot/l4linux' the 'modules.list' is like this: entry L4Linux kernel fiasco -serial_esc roottask moe rom/l4linux.cfg module l4linux.cfg module l4re module ned module vmlinuz module drops-rd.rd the 'l4linux.cfg' is like this: L4.default_loader:start({}, "rom/vmlinuz mem=64M console=ttyLv0 l4x_rd=rom/drops-rd.rd root=1:0 ramdisk_size=4000 init=/bin/sh"); 9.modify the grub.cfg, add the following lines: menuentry 'L4Linux' { multiboot /boot/l4linux/bootstrap -modaddr 0x02000000 module /boot/l4linux/fiasco -serial_esc module /boot/l4linux/sigma0 module /boot/l4linux/moe rom/l4linux.cfg module /boot/l4linux/l4linux.cfg module /boot/l4linux/l4re module /boot/l4linux/ned module /boot/l4linux/vmlinuz } after this job is done. i reboot the system. the error came out. please give me some help to sovle the problem. thanks.

2 3

Blocking Read
by teclis High Elf 02 Mar '15

02 Mar '15

Hi, Would someone be able to point me to an example L4Re driver that does a blocking read? thanks,

2 1

Troubles testing UART3 on Exynos5
by Reinier Millo Sánchez 27 Feb '15

27 Feb '15

Hi I'm testing Fiasco.OC+L4re on YSE5250 (Exynos 5250) Board. I have compiled and tested some examples. I'm testing a GPS Driver for the board. The GPS is conected over UART3 at 9600 baudrate, first I'm testing UART3 port comunicating the UART1 serial output with UART3. I'm following as example the serial-drv package on L4re. I have adapted the source code to my uart driver >>> gps_drv.cc #include <l4/drivers/uart_s3c2410.h> #include <l4/io/io.h> #include <l4/re/env> #include <l4/re/error_helper> #include <l4/re/namespace> #include <l4/re/util/cap_alloc> #include <l4/re/util/object_registry> #include <l4/re/util/icu_svr> #include <l4/re/util/vcon_svr> #include <l4/sys/irq> #include <l4/util/util.h> #include <cstdlib> #include <cstdio> #define IRQ_NUM 86 #define UART_BASE 0x12C30000 static L4::Cap<void> srv_rcv_cap; class Loop_hooks : public L4::Ipc_svr::Ignore_errors, public L4::Ipc_svr::Default_timeout, public L4::Ipc_svr::Compound_reply { public: void setup_wait(L4::Ipc::Istream &istr, bool) { istr.reset(); istr << L4::Ipc::Small_buf(srv_rcv_cap.cap(), L4_RCV_ITEM_LOCAL_ID); l4_utcb_br_u(istr.utcb())->bdr = 0; } }; using L4Re::Env; using L4Re::Util::Registry_server; static Registry_server<Loop_hooks> server(l4_utcb(), Env::env()->main_thread(), Env::env()->factory()); using L4Re::Util::Vcon_svr; using L4Re::Util::Icu_cap_array_svr; class GPS_server : public Vcon_svr<GPS_server>, public Icu_cap_array_svr<GPS_server>, public L4::Server_object { public: GPS_server(); virtual ~GPS_server() throw() {} bool running() const { return _running; } int vcon_write(const char *buffer, unsigned size); unsigned vcon_read(char *buffer, unsigned size); L4::Cap<void> rcv_cap() { return srv_rcv_cap; } int handle_irq(); bool init(); int dispatch(l4_umword_t obj, L4::Ipc::Iostream &ios); private: bool _running; L4::Uart *_uart; L4::Cap<L4::Irq> _uart_irq; Icu_cap_array_svr<GPS_server>::Irq _irq; }; GPS_server::GPS_server() : Icu_cap_array_svr<GPS_server>(1, &_irq), _running(false), _uart(0), _uart_irq(L4_INVALID_CAP), _irq() { if (init()) _running = true; } int GPS_server::vcon_write(const char *buffer, unsigned size) { _uart->write(buffer, size); return -L4_EOK; } unsigned GPS_server::vcon_read(char *buffer, unsigned size) { unsigned i = 0; while (_uart->char_avail() && size) { int c = _uart->get_char(false); if (c >= 0) { buffer[i++] = (char)c; size--; } else break; } // if there still some data available send this info to the client if (_uart->char_avail()) i++; else _uart_irq->unmask(); return i; } int GPS_server::handle_irq() { if (_irq.cap().is_valid()) _irq.cap()->trigger(); return L4_EOK; } bool GPS_server::init() { l4_addr_t virt_base = 0; // Mapeando memoria de registros del UART if (l4io_request_iomem((l4_addr_t)UART_BASE, 0x1000, L4IO_MEM_NONCACHED, &virt_base)) { printf("gps-drv: request io-memory from l4io failed.\n"); return false; } printf("gps-drv: virtual base at:%lx\n", virt_base); // Inicializando memoria de los registros del UART L4::Io_register_block_mmio *regs = new L4::Io_register_block_mmio(virt_base); // Inicializando UART _uart = new (malloc(sizeof(L4::Uart_s5pv210))) L4::Uart_s5pv210; _uart->startup(regs); /** * FIX - Ajustando el BaudRate del UART * Valores calculados experimentalmente a través del UART1 * SCLK_UART = 100 MHz * TODO - Hacer el ajuste del BaudRate en el propio UART */ regs->write<unsigned int>(0x28,0x28a); regs->write<unsigned int>(0x2C,0x0); _uart_irq = L4Re::Util::cap_alloc.alloc<L4::Irq>(); if (!_uart_irq.is_valid()) { printf("gps-drv: Alloc capability for uart-irq failed.\n"); return false; } if (l4io_request_irq(IRQ_NUM, _uart_irq.cap())) { printf("gps-drv: request uart-irq from l4io failed\n"); return false; } /* setting IRQ type to L4_IRQ_F_POS_EDGE seems to be wrong place */ if (l4_error(_uart_irq->attach((l4_umword_t)static_cast<L4::Server_object *>(this), L4Re::Env::env()->main_thread()))) { printf("gps-drv: attach to uart-irq failed.\n"); return false; } if ((l4_ipc_error(_uart_irq->unmask(), l4_utcb()))) { printf("gps-drv: unmask uart-irq failed.\n"); return false; } _uart->enable_rx_irq(true); srv_rcv_cap = L4Re::Util::cap_alloc.alloc<void>(); if (!srv_rcv_cap.is_valid()) { printf("serial-drv: Alloc capability for rcv-cap failed.\\n"); return false; } return true; } int GPS_server::dispatch(l4_umword_t obj, L4::Ipc::Iostream &ios) { l4_msgtag_t tag; ios >> tag; switch (tag.label()) { case L4_PROTO_IRQ: if (!L4Re::Util::Icu_svr<GPS_server>::dispatch(obj, ios)) return handle_irq(); case L4_PROTO_LOG: return L4Re::Util::Vcon_svr<GPS_server>::dispatch(obj, ios); default: return -L4_EBADPROTO; } } int main() { char buffer[100]; int tmp; static GPS_server gps_srv; // Register calculation server if (!server.registry()->register_obj(&gps_srv, "gps_srv").is_valid()) { printf("Could not register GPS service, is there a 'gps_srv' in the caps table?\n"); return 1; } if (!gps_srv.running()) { printf("Failed to initialize serial driver; Aborting.\n"); return 1; } gps_srv.vcon_write("Hola Mundo\n",11); while(1){ tmp = gps_srv.vcon_read(buffer,11); if(tmp>0) printf("Readed data: %s\n",buffer); } // Wait for client requests server.loop(); return 0; } I have created my run config file >>> gps-drv.cfg require("L4"); -- Shortcuts local ld = L4.default_loader; local vbus_uart03 = ld:new_channel(); local platform_ctl = ld:new_channel(); local gps_srv = ld:new_channel(); -- Start the IO Server ld:start( { caps = { sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0); icu = L4.Env.icu; platform_ctl = platform_ctl:svr(); uart03 = vbus_uart03:svr(); }, log = { "IO Server", "green" }, l4re_dbg = L4.Dbg.Warn, }, "rom/io rom/yse5250.devs rom/yse5250.io"); -- Start the GPS Driver Server conected to UART3 ld:start( { caps = { gps_srv = gps_srv:svr(); vbus = vbus_uart03; }, log = {"GPS Driver","blue"} }, "rom/gps_drv"); And have created the yse5250.devs and yse5250.io to put the UART3 on a virtual BUS >>> yse5250.devs local Hw = Io.Hw local Res = Io.Res Io.hw_add_devices { UART3 = Hw.Device { hid = "UART3"; Res.irq(86); Res.mmio(0x12C30000, 0x12C3ffff); } } >>> yse5250.io Io.add_vbusses { -- Create a virtual bus for a client and give access to UART3 uart03 = Io.Vi.System_bus(function () dev = wrap(Io.system_bus():match("UART3")); end); } On modules.list have added an entry for my example entry GPS-Driver kernel fiasco -serial_esc roottask moe rom/gps-drv.cfg module l4re module ned module gps-drv.cfg module gps_drv module io module yse5250.devs module yse5250.io After that i have compiled and uploaded the example to the board. At runtime, i got the "Hola Mundo" over UART3 but when I write in the UART3 I never read the written information. Something is wrong with my code? -- Lic. Reinier Millo Sánchez Centro de Estudios de Informática Universidad Central "Marta Abreu" de Las Villas "antes de discutir ... respira; antes de hablar ... escucha; antes de escribir ... piensa; antes de herir ... siente; antes de rendirte ... intenta; antes de morir ... vive"

2 1

Re: Ethernet on l4linux
by taeung 27 Feb '15

27 Feb '15

On 02/26/2015 02:11 PM, Harini Balachandran wrote: > For getting ethernet on l4linux, what are the packages and network > elements I should copy to ramdisk? > As of now, my ramdisk has only the basic programs.I got this from l4re > snapshot ie ramdisk-x86.rd.I have copied my target application > program(compiled statically) alone to this ramdisk additionally. > I tired copying /proc,/sys and /etc from ubuntu but the size goes > beyond 1.5 GB.What are the essential packages for getting ethernet on > l4linux? > Thank you. > Files in /proc and /sys aren't general files. They are a virtual filesystem provided by Linux. sysfs is http://en.wikipedia.org/wiki/Sysfs procfs is http://en.wikipedia.org/wiki/Procfs So, it isn't needed that you copy them to ramdisk. But if procfs isn't mounted , you can manually mount procfs. For example $ mount -t proc proc proc/ $ mount -t sysfs sys sys/ And the ramdisk already has enough packages and files to connect network. Important thing is to successfully load ethernet driver on L4/L4linux environment. If you succeed in working ethernet driver, you can use commands 'ifup' and 'ifdown','ifconfig' to connect network. And you can check whether ethernet driver is loaded or not if you do 'dmesg | grep ethernet'. Thanks, Taeung > > Regards, > Harini

1 0

Ethernet on l4linux
by Gayathri Nagarajan 20 Feb '15

20 Feb '15

I am getting an ERROR : NETWORK IS UNREACHABLE, when i run socket program in l4linux. I am using 64-bit host, upon that - virtual machine which is 32-bit, upon that - ubuntu, upon that - fiasco+l4re+l4re+l4linux *//l4linux_socket.io <http://l4linux_socket.io> file* l4linux => new System_bus() { NIC => wrap(hw-root.NIC); } *//l4linux_socket.cfg* -- vim:set ft=lua: local lxname = "vmlinuz"; if L4.Info.arch() == "arm" then lxname = "vmlinuz.arm"; end loader = L4.default_loader; vbus_l4linux = loader:new_channel(); loader:start( { caps={ sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0); icu = L4.Env.icu; l4linux = vbus_l4linux:svr(); }, },"rom/io -vv rom/l4linux_socket.io"); loader:start( { caps = { log = L4.Env.log:m("rws"), vbus = vbus_l4linux; }, l4re_dbg = L4.Dbg.Warn, log = { "l4linux", "yellow" }, }, "rom/" .. lxname .. " mem=64M console=ttyLv0 l4x_rd=rom/new_ramdisk root=0:0 ramdisk_size=8400 init=/bin/sh"); *//l4linux_socket.list* modaddr 0x01100000 entry l4linux_socket kernel fiasco -serial_esc roottask moe rom/l4linux_socket.cfg module l4re module ned module l4linux_socket.cfg module io module l4linux_socket.io module vmlinuz module new_ramdisk Please help us in resolving the error Thank you

2 1