users

users@lists.genode.org

2285 discussions

Genode 16.08 nova.iso rebooting on real Core 2 Duo after relocating modules
by Paul Dufresne 24 Sep '16

24 Sep '16

I thought rebooting computer as soon has coming to boot line was for old low memories computer only, but I get it with nova.iso burnt on a CD on my Core 2 Duo, 2 GB (well 3 GB, but 2 Gb memory stick recognized as only 1 Gb + one other 1 Gb). Capture log with null-modem RS232: Bender: Hello World. Need 05df2000 bytes to relocate modules. Relocating to 7980d000: Copying 483168 bytes... Copying 460412 bytes... Copying 19947520 bytes... Copying 256000 bytes... Copying 552960 bytes... Copying 9390080 bytes... Copying 3553280 bytes... Copying 293864 bytes... Copying 93356 bytes... Copying 404216 bytes... Copying 435168 bytes... Copying 513708 bytes... Copying 422696 bytes... Copying 501760 bytes... Copying 876148 bytes... Copying 93612 bytes... Copying 303800 bytes... Copying 7323460 bytes... Copying 5039116 bytes... Copying 4994372 bytes... Copying 34148 bytes... Copying 229812 bytes... Copying 176200 bytes... Copying 157940 bytes... Copying 23572 bytes... Copying 1078412 bytes... Copying 616068 bytes... Copying 26033700 bytes... Copying 3222864 bytes... Copying 558540 bytes... Copying 434872 bytes... Copying 51200 bytes... Copying 879773 bytes... Copying 582 bytes... Copying 19768 bytes... Copying 94460 bytes... Copying 418916 bytes... Copying 478944 bytes... Copying 164608 bytes... Copying 457964 bytes... Copying 412840 bytes... Copying 544356 bytes... Copying 1253468 bytes... Copying 407104 bytes... Copying 453048 bytes... Copying 607380 bytes... Copying 419008 bytes... Copying 448912 bytes... Copying 381588 bytes... Copying 412840 bytes... Copying 411736 bytes... Copying 534440 bytes... Copying 9589 bytes... Copying 909276 bytes... Copying 114820 bytes... computer reboots here paul@...445...:~$ cat /proc/cpuinfo processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 15 model name : Intel(R) Core(TM)2 CPU 6300 @ 1.86GHz stepping : 6 microcode : 0x44 cpu MHz : 1860.497 cache size : 2048 KB physical id : 0 siblings : 2 core id : 0 cpu cores : 2 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 10 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts nopl aperfmperf eagerfpu pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm lahf_lm tpr_shadow dtherm bugs : bogomips : 3720.99 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 15 model name : Intel(R) Core(TM)2 CPU 6300 @ 1.86GHz stepping : 6 microcode : 0x44 cpu MHz : 1860.497 cache size : 2048 KB physical id : 0 siblings : 2 core id : 1 cpu cores : 2 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 10 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts nopl aperfmperf eagerfpu pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm lahf_lm tpr_shadow dtherm bugs : bogomips : 3721.29 clflush size : 64 cache_alignment : 64 address sizes : 36 bits physical, 48 bits virtual power management: paul@...445...:~$ cat /proc/meminfo MemTotal: 2041768 kB

3 20

Secure Image Processing using Genode
by Tiago Brito 23 Sep '16

23 Sep '16

Hi Genode enthusiasts, I'm a portuguese researcher finishing my Computer Science master degree. I developed a TrustZone-based project using Genode and the i.MX53 QSB. I have been accepted to the Workshop on Mobile and Cloud Security and Privacy (WMCSP) 2016 which is hosted in collaboration with the Symposium on Reliable Distributed Systems (SRDS). I'll leave the title and abstract of my work here. -------------------- Title: ARM TrustZone for Secure Image Processing on the Cloud Abstract: Nowadays, offloading storage and processing capacity to cloud servers is a growing trend. This happens because high storage capacity and powerful processors are expensive, whilst cloud services provide a cheaper, ongoing, and reliable solution. The problem with cloud-based solutions is that servers are highly accessible through the Internet and therefore considerably exposed to hackers and malware. In this paper, we design and implement Darkroom, a secure image processing service for the cloud leveraging ARM TrustZone technology. Our system enables users to securely process image data in a secure environment that prevents exposure of sensitive data to the operating system. We evaluate our system and observe that our solution adds a small overhead to image processing when compared to computer platforms that require the entire operating system to be trusted. -------------------- I'm going to present this project in Budapest at the Symposium 25th of September 2016 and I though you might be interested in knowing more about the project. Best regards, Tiago Brito

1 0

Nova multiboot v.1 flags == 0 ???
by Paul Dufresne 22 Sep '16

22 Sep '16

I think I have a problem with Nova multiboot specification. In https://github.com/udosteinberg/NOVA/blob/master/src/start.S : /* * Multiboot Header */ __boot_header: .long 0x1badb002 .long 0x0 .long -0x1badb002 This is multiboot v.1 (current version is 2). 3.1.1 The layout of Multiboot header ------------------------------------ The layout of the Multiboot header must be as follows: Offset Type Field Name Note 0 u32 magic required 4 u32 flags required 8 u32 checksum required 12 u32 header_addr if flags[16] is set 16 u32 load_addr if flags[16] is set 20 u32 load_end_addr if flags[16] is set 24 u32 bss_end_addr if flags[16] is set 28 u32 entry_addr if flags[16] is set 32 u32 mode_type if flags[2] is set 36 u32 width if flags[2] is set 40 u32 height if flags[2] is set 44 u32 depth if flags[2] is set ... 'magic' The field 'magic' is the magic number identifying the header, which must be the hexadecimal value '0x1BADB002'. 'flags' The field 'flags' specifies features that the OS image requests or requires of an boot loader. The problem is here, flags is 0 so it request nothing from the Boot Loader! 'checksum' The field 'checksum' is a 32-bit unsigned value which, when added to the other magic fields (i.e. 'magic' and 'flags'), must have a 32-bit unsigned sum of zero. So the result table returns have not much information you can trust to be there: The format of the Multiboot information structure (as defined so far) follows: +-------------------+ 0 | flags | (required) +-------------------+ 4 | mem_lower | (present if flags[0] is set) 8 | mem_upper | (present if flags[0] is set) +-------------------+ 12 | boot_device | (present if flags[1] is set) +-------------------+ 16 | cmdline | (present if flags[2] is set) +-------------------+ 20 | mods_count | (present if flags[3] is set) 24 | mods_addr | (present if flags[3] is set) +-------------------+ 28 - 40 | syms | (present if flags[4] or | | flags[5] is set) +-------------------+ 44 | mmap_length | (present if flags[6] is set) 48 | mmap_addr | (present if flags[6] is set) +-------------------+ 52 | drives_length | (present if flags[7] is set) 56 | drives_addr | (present if flags[7] is set) +-------------------+ 60 | config_table | (present if flags[8] is set) +-------------------+ 64 | boot_loader_name | (present if flags[9] is set) +-------------------+ 68 | apm_table | (present if flags[10] is set) +-------------------+ 72 | vbe_control_info | (present if flags[11] is set) 76 | vbe_mode_info | 80 | vbe_mode | 82 | vbe_interface_seg | 84 | vbe_interface_off | 86 | vbe_interface_len | +-------------------+ 88 | framebuffer_addr | (present if flags[12] is set) 96 | framebuffer_pitch | 100 | framebuffer_width | 104 | framebuffer_height| 108 | framebuffer_bpp | 109 | framebuffer_type | 110-115 | color_info | Or is it some code that change the flags and checksum somewhere? I guess flags[6] would be usefull to get memory map: If bit 6 in the 'flags' word is set, then the 'mmap_*' fields are valid, and indicate the address and length of a buffer containing a memory map of the machine provided by the BIOS. 'mmap_addr' is the address, and 'mmap_length' is the total size of the buffer. The buffer consists of one or more of the following size/structure pairs ('size' is really used for skipping to the next pair): +-------------------+ -4 | size | +-------------------+ 0 | base_addr | 8 | length | 16 | type | +-------------------+ where 'size' is the size of the associated structure in bytes, which can be greater than the minimum of 20 bytes. 'base_addr' is the starting address. 'length' is the size of the memory region in bytes. 'type' is the variety of address range represented, where a value of 1 indicates available RAM, value of 3 indicates usable memory holding ACPI information, value of 4 indicates reserved memory which needs to be preserved on hibernation, value of 5 indicates a memory which is occupied by defective RAM modules and all other values currently indicated a reserved area. Info is from: http://wiki.osdev.org/Multiboot More prrecisely External link near the end for: http://git.savannah.gnu.org/cgit/grub.git/tree/doc/multiboot.texi?h=multibo… which give a texi file that I changed to txt with: $ makeinfo --plaintext --force multiboot.texi > multiboot.txt

2 1

My P4 Netvista works fine on real hardware with both nova and sel4 CD
by Paul Dufresne 21 Sep '16

21 Sep '16

I decided to test my computers in reverse side: P4 would test the CD Core 2 Duo would run minicom to capture log files. I was not expecting it to work, although I had some doubt because a quite older version was running on that P4. It appears both my CDs of Genode 16.08 (sel4.iso and nova.iso) have worked fine. I think that's the first time I was seeing running fine on real hardware. Well, I did saw the screen on one laptop I tried, but it was not accepting any input. Now, the monitor I use (well a relatively old Daenyx tv), was not working with my other Celeron D computer... and I was thinking it was EDID that was not use correctly, but now I begin to suspect ATI video card was not happy with Genode. I believe the P4 react better because of Intel 845 chipset it use. The biggest surprise is the P4 have only 512 Mb: MemTotal: 497928 kB cat /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 2 model name : Intel(R) Pentium(R) 4 CPU 2.26GHz stepping : 4 microcode : 0xf cpu MHz : 2259.011 cache size : 512 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 initial apicid : 0 fdiv_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pebs bts bugs : bogomips : 4518.02 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 32 bits virtual power management: Well, I guess there is no need to include capture files.

1 0

boot loader did not provide information about modules
by Paul Dufresne 20 Sep '16

20 Sep '16

boot loader did not provide information about modules This is from my 'new' Core 2 Duo, booting Genode 16.08 sel4.iso on an usb key. I got it with a null-modem. I am attaching the full capture log file. I had the same symptoms on most computers I have tried... hanging on boot line doing nothing. might explains it a bit... but frankly I don't understand why (it works in VirtualBox).

1 0

For Nova under VirtualBox I get that error
by Paul Dufresne 20 Sep '16

20 Sep '16

NOVA Microhypervisor v7-23e7882 (x86_32): Aug 29 2016 10:39:41 [gcc 4.9.2] [ 0] CORE:0:0:0 f:4:9:4 [0] Intel(R) Celeron(R) CPU 2.66GHz [ 0] Killed EC:0xc23ca160 SC:0xc23cb100 V:0x6 CS:0x8 EIP:0xc000002c CR2:0x0 ERR:0x0 (EXC) paul@...445...:~$

3 7

random number generator
by Claudius Laumanns 19 Sep '16

19 Sep '16

Dear Genode Devs, i have been system building (playing around) with genode for some times, when the following question came up: Where can i get random numbers from in genode? Do you use a hardware random number generator? Which one? Best regards Claudius P.S.: Your tool chain binaries are not signed. -- -------------------------------------------------------------------------------------------------- Claudius Laumanns Mac Help & Cloud Team, Arbeitsgruppe "Anwendungs- und Informationssysteme" Tel.: +49 551 201-1881, E-Mail: claudius.laumanns@...447... -------------------------------------------------------------------------------------------------- Gesellschaft für wissenschaftliche Datenverarbeitung mbH Göttingen (GWDG) Am Faßberg 11, 37077 Göttingen, URL: http://www.gwdg.de Tel.: +49 551 201-1510, Fax: +49 551 201-2150, E-Mail: gwdg@...447... Service-Hotline: Tel.: +49 551 201-1523, E-Mail: support@...447... Geschäftsführer: Prof. Dr. Ramin Yahyapour Aufsichtsratsvorsitzender: Prof. Dr. Christian Griesinger Sitz der Gesellschaft: Göttingen Registergericht: Göttingen, Handelsregister-Nr. B 598 -------------------------------------------------------------------------------------------------- Zertifiziert nach ISO 9001 --------------------------------------------------------------------------------------------------

2 1

Writing sel4.iso on a CD/DVD vs. on an USB key
by Paul Dufresne 18 Sep '16

18 Sep '16

At first I had burned sel4.iso on a CD, but no computer was able to boot from it. Then rereading the instructions, I saw it was asked to DD it to an USB key, which I did, and was getting much better results: a grub menu that disappears so fast that it only goes to loading the first module, then the boot module. I kind of know that sectors on CD are supposed to be 2k in size, and 0.5k on most other mediums, like USB key normally... I think. I know Linux distribution can often be put on both DVD and USB keys without thinking much. Why (is?) Genode would be different?

2 2

some error of sel4.iso on VirtualBox (1495Mo)
by Paul Dufresne 18 Sep '16

18 Sep '16

Because I have only 2GB, I had to lessen the memory in the virtual machine to 1495 Mo. Then I get some error, that I was able to capture by redirecting COM1 to /tmp/sel4 file: [some parsing cut ... ask if needed] Kernel loaded to: start=0x100000 end=0x147000 size=0x47000 entry=0x10003e ACPI: RSDP paddr=0xe0000 ACPI: RSDP vaddr=0xdfce0000 ACPI: RSDT paddr=0x5d6f0000 ACPI: RSDT vaddr=0xdfef0000 ACPI: MADT paddr=0x5d6f0240 ACPI: MADT vaddr=0xdfef0240 ACPI: MADT apic_addr=0xfee00000 ACPI: MADT flags=0x1 ACPI: MADT_ISO bus=0 source=0 gsi=2 flags=0x0 ACPI: MADT_ISO bus=0 source=9 gsi=9 flags=0xd ACPI: MADT_APIC apic_id=0x0 ACPI: MADT_IOAPIC ioapic_id=1 ioapic_addr=0xfec00000 gsib=0 ACPI: 1 CPU(s) detected Detected 1 CPUs. Only just 1 Detected 1 boot module(s): module #0: start=0x1c2000 end=0x65f77a0 size=0x64357a0 name='/image.elf' ELF-loading userland images from boot modules: size=0x6435000 v_entry=0x2000000 v_start=0x2000000 v_end=0x8435000 p_start=0x65f8000 p_end=0xca2d000 Moving loaded userland images to final location: from=0x65f8000 to=0x147000 size=0x6435000 PCI: Detected device @ bus=0x0 dev=0x0 fun=0x0: vid=0x8086 did=0x1237 type=normal PCI: Detected device @ bus=0x0 dev=0x1 fun=0x0: vid=0x8086 did=0x7000 type=normal PCI: Detected device @ bus=0x0 dev=0x1 fun=0x1: vid=0x8086 did=0x269e type=normal PCI: BAR[4] ignored: PCI IO space not supported PCI: Detected device @ bus=0x0 dev=0x2 fun=0x0: vid=0x80ee did=0xbeef type=normal PCI: BAR[0] address=0xe0000000 size=0x1000000 PCI: Detected device @ bus=0x0 dev=0x4 fun=0x0: vid=0x80ee did=0xcafe type=normal PCI: BAR[0] ignored: PCI IO space not supported PCI: BAR[1] address=0xf0000000 size=0x400000 PCI: BAR[2] address=0xf0400000 size=0x4000 PCI: Detected device @ bus=0x0 dev=0x7 fun=0x0: vid=0x8086 did=0x7113 type=normal Starting node #0 Caught cap fault in send phase at address 0x0 while trying to handle: user exception 0x6 code 0x0 in thread 0xff7e0900 "rootserver" at address 0x200b78f With stack: 0x28026ec: 0x20a3854 paul@...445...:/tmp$ Is it a fancy way to say I am missing memory, or is it more serious (real CPU is a Celeron D)?

1 1

EDID (interrogating the monitor for display modes supported) support
by Paul Dufresne 18 Sep '16

18 Sep '16

On some real x86 hardware, I have seen the monitor say that it does not support the video mode generated by Genode. Am I right to suggest that vesa driver does not yet use EDID? Or is it a more complicated issue (here using rv516 ATI video card). On archive ( https://sourceforge.net/p/genode/mailman/message/33088931/ ) it seems to suggest it is harder for laptops than on a box, although up to date for me it has been the reverse (until now, I was only able to see the screen on one laptop ... out of 3 laptops and 2 boxes).

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users