users

users@lists.genode.org

1 participants
2310 discussions

Re: Issues to build Sculpt with Sel4 kernel
by Alexander Boettcher 29 Jul '19

29 Jul '19

Hello, On 29.07.19 01:31, Nanfang Hu wrote: > I am trying to build Sculpt with Sel4 kernel. > Sculpt OS is not tested with seL4 and is not supposed to get far. > sudo make -C build/x86_64 run/sculpt KERNEL=sel4 BOARD=pc Please don't use sudo - our tooling support is supposed to work without root rights. (If you nevertheless need root rights, please tell us which tool requires it). > > I run into error, "Could not allocate block in ext2 filesystem" Either increase the image size to some fixed value in your build/x86_64/etc/build.conf, something like: RUN_OPT += --image-disk-size 64 or increase the value of the ext2_overhead variable in tool/run/image/disk Cheers, -- Alexander Boettcher Genode Labs https://www.genode-labs.com - https://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

Issues to build Sculpt with Sel4 kernel
by Nanfang Hu 29 Jul '19

29 Jul '19

I am trying to build Sculpt with Sel4 kernel. sudo make -C build/x86_64 run/sculpt KERNEL=sel4 BOARD=pc I run into error, "Could not allocate block in ext2 filesystem" It seems that I have increased file system size. Where is the place to make that change? Thanks Nanfang

1 0

Re: users Digest, Vol 15, Issue 17
by Nanfang Hu 29 Jul '19

29 Jul '19

Thanks, Johanne. It works. On Thu, Jul 25, 2019 at 6:00 PM <users-request(a)lists.genode.org> wrote: > Send users mailing list submissions to > users(a)lists.genode.org > > To subscribe or unsubscribe via the World Wide Web, visit > https://lists.genode.org/listinfo/users > or, via email, send a message with subject or body 'help' to > users-request(a)lists.genode.org > > You can reach the person managing the list at > users-owner(a)lists.genode.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of users digest..." > > > Today's Topics: > > 1. Re: Fwd: Issue for run demo (Johannes Kliemann) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Thu, 25 Jul 2019 10:11:24 +0200 > From: Johannes Kliemann <kliemann(a)componolit.com> > To: users(a)lists.genode.org > Subject: Re: Fwd: Issue for run demo > Message-ID: <4361356.Lc3VtfIeQD@aamon> > Content-Type: text/plain; charset="utf-8" > > Hi Nanfang, > > I had that issue, too. On the newest Genode you also need to select a > board to > run on which is "linux" for Linux. So you could try > > "make KERNEL=linux BOARD=linux run/demo" > > Regards, > Johannes > > > Hi > > > > I am a newbie to genode and need help to set up. > > > > I have cloned and compiled genode. > > > > When I try to run demo by command "make KERNEL=linux run/demo", I had an > > error, see attached. > > > > I have ubuntu 16.04 and IBM Thinkpad 520. > > > > Thanks > > Nanfang > >

1 0

Fwd: Issue for run demo
by Nanfang Hu 25 Jul '19

25 Jul '19

Hi I am a newbie to genode and need help to set up. I have cloned and compiled genode. When I try to run demo by command "make KERNEL=linux run/demo", I had an error, see attached. I have ubuntu 16.04 and IBM Thinkpad 520. Thanks Nanfang

2 1

Can QT-based "textedit" run successfully on Rpi 3 B+ ?
by kimberly nNA 22 Jul '19

22 Jul '19

Dear Genode team, I am Kimberly. I modified and added "textedit" on demo.run The link below is about the complete content of demo.run, textedit.config, runtime log, and also a result graph. https://docs.google.com/document/d/1gtQJOXG3IK2_h5xV5CLI1zy54Vil_Xu6HSJ3My6… The genode version is https://github.com/tomga/genode/tree/rpi3bplus_19.02 I tried this commands : $ ./tool/create_builddir *rpi3bplus* $ make run/demo KERNEL=hw This case successfully run on Rpi3 B+ But it had some errors when running textedit. I used USB to TTL Serial Cable to see the runtime log : =========================================== ... [init -> launchpad] starting textedit with quota 177873K [init -> launchpad] using unique child name "textedit" [init -> launchpad] Warning: textedit: service File_system not available [init -> launchpad -> textedit] Error: File_system-session creation failed (ram_quota=163840, cap_quota=12, tx_buf_size=131072, label="rw", root="", writeable=1) [init -> launchpad -> textedit] Error: failed to create <fs> VFS node [init -> launchpad -> textedit] Error: label="rw" ... ============================================ because of the errors, I couldn't "save" a new file. I wrote the config of "ram_fs" in demo.run : <start name="ram_fs"> <resource name="RAM" quantum="10M"/> <provides><service name="File_system"/></provides> <config>  <policy label="textedit -> root" root="/" /> </config> </start> something wrong with the node ? I am not familiar with writing the 'policy'. Thanks a lot ! 😊

2 1

How to see runtime log on Rpi3 B+
by kimberly nNA 20 Jul '19

20 Jul '19

Dear Genode team, I am Kimberly. I modified and added some apps on *demo.run* The genode version is https://github.com/tomga/genode/tree/rpi3bplus_19.02 I tried this commands : $ ./tool/create_builddir *rpi3bplus* $ make run/demo KERNEL=hw This case successfully run on Rpi3 B+ But I couldn't see the runtime log like as on x86_64 : ---------------------------------------------------------------------------------- ... [init -> drivers] Error: Could not open ROM session for "config" [init -> drivers] Error: Uncaught exception of type 'Genode::Rom_connection::Rom_connection_failed' [init -> drivers] Warning: abort called - thread: ep [init] child "drivers" exited with exit value 1 [init -> acpi_drv] Found MADT ... ----------------------------------------------------------------------------------- Like the above example, sometimes I want to debug errors on Rpi. Can I see the runtime log on Rpi3 B+ ? If it can, how to set on putty ? (p.s. I used *USB to TTL Serial Cable*) In putty configuration : serial line : /dev/ttyUSB0 speed : 115200 I also tried speed : 9600 But I still couldn't see runtime log. Maybe I have to refer to *gpio_signal.run* and then modify *demo.run* ? p.s. If I used *raspbian-stretch-lite.img* (*raspberrypi.com <http://raspberrypi.com> *provide it), I can see runtime log. Thanks a lot ! 😊

2 2

can't run noux_bash on Genode/seL4
by Alexander Tormasov 12 Jul '19

12 Jul '19

This is my first attempt to run Genode over seL4 inside VM. I take latest 19.05 version of Genode as recommended. I followed the instruction and now compile (in vmware vm with ubuntu, 64 bit) and able to run demo both inside vmware and qemu in my MacOS notebook. While I can say that work of demo is pretty unstable, it hangs under any attempt to run from launchpad nitpicker (just freeze mouse, no messages in the stdout log on host). It does not show any other windows except launcher, the only log message are: ... [init -> scout -> launchpad] starting testnit with quota 5896K [init -> scout -> launchpad] using unique child name "testnit" [init -> nitpicker] resource_request: ram_quota=0, cap_quota=4 [init] child "nitpicker" requests resources: ram_quota=0, cap_quota=4 I make run/noux_bash and run/noux_vim iso. both of them started successfully, but show me only black screen (both in vmware and qemu 3.1_01). Logs seems to be without errors… see below How I can see terminal prompt inside vm window ? Sincerely, Alexander Tormasov・ Bender: Hello World. Boot config: parsing cmdline 'sel4 disable_iommu' Boot config: console_port = 0x3f8 Boot config: debug_port = 0x3f8 Boot config: disable_iommu = true module #0: start=0xcfd7000 end=0xff90330 size=0x2fb9330 name='image.elf' Physical Memory Region from 0 size 9f800 type 1 Physical Memory Region from 9f800 size 800 type 2 Physical Memory Region from dc000 size 24000 type 2 Physical Memory Region from 100000 size bd5e0000 type 1 Adding physical memory region 0x100000-0xbd6e0000 Physical Memory Region from bd6e0000 size 1f000 type 3 Physical Memory Region from bd6ff000 size 1000 type 4 Physical Memory Region from bd700000 size 100000 type 1 Adding physical memory region 0xbd700000-0xbd800000 Physical Memory Region from f0000000 size 8000000 type 2 Physical Memory Region from fec00000 size 10000 type 2 Physical Memory Region from fee00000 size 1000 type 2 Physical Memory Region from fffe0000 size 20000 type 2 Got framebuffer info in multiboot2. Current video mode is at physical address=e8000000 pitch=4608 resolution=1152x864@32 type=1 Detected 1 boot module(s): ***WARNING*** SKIM window not enabled, this machine is probably vulernable to Meltdown (https://www.meltdownattack.com), consider enabling Kernel loaded to: start=0x200000 end=0xaa5000 size=0x8a5000 entry=0x201209 ACPI: RSDT paddr=0xbd6efc56 ACPI: RSDT vaddr=0xbd6efc56 ACPI: FADT paddr=0xbd6fef67 ACPI: FADT vaddr=0xbd6fef67 ACPI: FADT flags=0x21 ACPI: MADT paddr=0xbd6efdc2 ACPI: MADT vaddr=0xbd6efdc2 ACPI: MADT apic_addr=0xfee00000 ACPI: MADT flags=0x1 ACPI: MADT_APIC apic_id=0x0 ACPI: MADT_IOAPIC ioapic_id=1 ioapic_addr=0xfec00000 gsib=0 ACPI: MADT_ISO bus=0 source=0 gsi=2 flags=0x5 ACPI: 1 CPU(s) detected ELF-loading userland images from boot modules: size=0x3e23000 v_entry=0x2000018 v_start=0x2000000 v_end=0x5e23000 p_start=0xff91000 p_end=0x13db4000 Moving loaded userland images to final location: from=0xff91000 to=0xaa5000 size=0x3e23000 Starting node #0 with APIC ID 0 Mapping kernel window is done vt-x: not supported Booting all finished, dropped to user space :phys_mem_16k: Allocator 0x2fe7c30 dump: Block: [0000000000200000,0000000000240000) size=256K avail=256K max_avail=256K => mem_size=262144 (0 MB) / mem_avail=262144 (0 MB) Warning: device memory in range [0000000100000000,0000000200000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000000200000000,0000000400000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000000400000000,0000000800000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000000800000000,0000001000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000001000000000,0000002000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000002000000000,0000004000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000004000000000,0000008000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000008000000000,0000408000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000408000000000,0000608000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000608000000000,0000708000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000708000000000,0000788000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000788000000000,00007c8000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [00007c8000000000,00007e8000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [00007e8000000000,00007f8000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [00007f8000000000,0000800000000000) is unavailable (due to limited untyped cnode range) virtual address layout of core: overall [0000000000002000,0000000200000000) core image [0000000002000000,0000000005e23000) ipc buffer [0000000005e23000,0000000005e24000) boot_info [0000000005e24000,0000000005e26000) stack area [0000000040000000,0000000050000000) Warning: need physical memory, but Platform object not constructed yet Warning: need physical memory, but Platform object not constructed yet Warning: need physical memory, but Platform object not constructed yet boot module 'input_filter.config' (768 bytes) boot module 'ps2_drv' (181168 bytes) boot module 'vesa_fb_drv' (367632 bytes) boot module 'vim.tar' (20285440 bytes) boot module 'config' (2844 bytes) boot module 'drivers.config' (4778 bytes) boot module 'coreutils.tar' (11642880 bytes) boot module 'libm.lib.so' (240904 bytes) boot module 'en_us.chargen' (5625 bytes) boot module 'bash.tar' (7895040 bytes) boot module 'vimrc' (89 bytes) boot module 'vfs_ttf.lib.so' (227440 bytes) boot module 'terminal.config' (189 bytes) boot module 'libc.lib.so' (1593272 bytes) boot module 'vfs' (197256 bytes) boot module 'VeraMono.ttf' (49224 bytes) boot module 'acpi_drv' (129152 bytes) boot module 'noux' (465576 bytes) boot module 'timer' (120736 bytes) boot module 'input_filter' (199696 bytes) boot module 'special.chargen' (1346 bytes) boot module 'posix.lib.so' (68752 bytes) boot module 'terminal' (243648 bytes) boot module 'report_rom' (128160 bytes) boot module 'platform_drv' (334464 bytes) boot module 'ncurses.lib.so' (370096 bytes) boot module 'ram_fs' (169784 bytes) boot module 'Vera.ttf' (65932 bytes) boot module 'libc_noux.lib.so' (138080 bytes) boot module 'LICENSE.bitstream-vera' (5954 bytes) boot module 'fb_drv.config' (51 bytes) boot module 'init' (345536 bytes) boot module 'vfs.lib.so' (458880 bytes) boot module 'init.xsd' (7148 bytes) boot module 'ld.lib.so' (1002416 bytes) boot module 'usb_drv' (1400368 bytes) Warning: need physical memory, but Platform object not constructed yet Genode sculpt-19.07 2851 MiB RAM and 261141 caps assigned to init Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x1 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x2 [init] parent provides [init] service "ROM" [init] service "LOG" [init] service "RM" [init] service "CPU" [init] service "PD" [init] service "IRQ" [init] service "IO_PORT" [init] service "IO_MEM" [init] child "timer" [init] RAM quota: 776K [init] cap quota: 68 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "drivers" [init] RAM quota: 32520K [init] cap quota: 968 [init] ELF binary: init [init] priority: 0 [init] provides service Input [init] provides service Framebuffer [init] child "terminal" [init] RAM quota: 1800K [init] cap quota: 68 [init] ELF binary: terminal [init] priority: 0 [init] provides service Terminal [init] child "ram_fs" [init] RAM quota: 9992K [init] cap quota: 68 [init] ELF binary: ram_fs [init] priority: 0 [init] provides service File_system [init] child "noux" [init] RAM quota: 1048328K [init] cap quota: 968 [init] ELF binary: noux [init] priority: 0 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x4 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x8 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x10 [init -> noux] tar archive 'coreutils.tar' local at 0x1a0000, size is 11644928 [init] child "timer" announces service "Timer" [init -> noux] tar archive 'vim.tar' local at 0xb000000, size is 20287488 [init] child "ram_fs" announces service "File_system" [init -> drivers] Warning: input_filter assigned caps (90) exceed available caps (46) [init -> noux] tar archive 'bash.tar' local at 0xc35c000, size is 7897088 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x20 [init -> drivers -> acpi_drv] Found MADT [init -> drivers -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 5 [init -> drivers -> acpi_drv] Found MCFG [init -> drivers -> acpi_drv] MCFG BASE 0xf0000000 seg 0x0 bus 0x0-0x7f [init -> drivers -> acpi_drv] XSDT OEM 'INTEL ', table id '440BX ', revision 100925440, creator 'VMW ' (20071026) Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x40 [init -> drivers -> platform_drv] ECAM/MMCONF range 00:00.0-7f:1f.7 - addr [00000000f0000000,00000000f8000000) [init -> drivers -> platform_drv] Root bridge: 00:00.0 [init -> drivers -> platform_drv] 00:01.0 - bridge 01:00.0 [init -> drivers -> platform_drv] 00:11.0 - bridge 02:00.0 [init -> drivers -> platform_drv] 00:15.0 - bridge 03:00.0 [init -> drivers -> platform_drv] 00:15.1 - bridge 04:00.0 [init -> drivers -> platform_drv] 00:15.2 - bridge 05:00.0 [init -> drivers -> platform_drv] 00:15.3 - bridge 06:00.0 [init -> drivers -> platform_drv] 00:15.4 - bridge 07:00.0 [init -> drivers -> platform_drv] 00:15.5 - bridge 08:00.0 [init -> drivers -> platform_drv] 00:15.6 - bridge 09:00.0 [init -> drivers -> platform_drv] 00:15.7 - bridge 0a:00.0 [init -> drivers -> platform_drv] 00:16.0 - bridge 0b:00.0 [init -> drivers -> platform_drv] 00:16.1 - bridge 0c:00.0 [init -> drivers -> platform_drv] 00:16.2 - bridge 0d:00.0 [init -> drivers -> platform_drv] 00:16.3 - bridge 0e:00.0 Warning: flush page table entries - mapping cache full - PD: init -> drivers -> platform_drv Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x80 [init -> drivers -> platform_drv] 00:16.4 - bridge 0f:00.0 [init -> drivers -> platform_drv] 00:16.5 - bridge 10:00.0 [init -> drivers -> platform_drv] 00:16.6 - bridge 11:00.0 [init -> drivers -> platform_drv] 00:16.7 - bridge 12:00.0 [init -> drivers -> platform_drv] 00:17.0 - bridge 13:00.0 [init -> drivers -> platform_drv] 00:17.1 - bridge 14:00.0 [init -> drivers -> platform_drv] 00:17.2 - bridge 15:00.0 [init -> drivers -> platform_drv] 00:17.3 - bridge 16:00.0 [init -> drivers -> platform_drv] 00:17.4 - bridge 17:00.0 [init -> drivers -> platform_drv] 00:17.5 - bridge 18:00.0 [init -> drivers -> platform_drv] 00:17.6 - bridge 19:00.0 [init -> drivers -> platform_drv] 00:17.7 - bridge 1a:00.0 [init -> drivers -> platform_drv] 00:18.0 - bridge 1b:00.0 [init -> drivers -> platform_drv] 00:18.1 - bridge 1c:00.0 [init -> drivers -> platform_drv] 00:18.2 - bridge 1d:00.0 [init -> drivers -> platform_drv] 00:18.3 - bridge 1e:00.0 Warning: flush page table entries - mapping cache full - PD: init -> drivers -> platform_drv [init -> drivers -> platform_drv] 00:18.4 - bridge 1f:00.0 [init -> drivers -> platform_drv] 00:18.5 - bridge 20:00.0 [init -> drivers -> platform_drv] 00:18.6 - bridge 21:00.0 [init -> drivers -> platform_drv] 00:18.7 - bridge 22:00.0 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x100 [init -> drivers -> ps2_drv] Using keyboard with scan code set 1 (xlate) [init -> drivers -> usb_drv] Could not read screen resolution in config node [init -> drivers -> usb_drv] Configured HID screen with 0x0 (multitouch=false) [init -> drivers -> usb_drv] No <storage> config node found - not starting the USB Storage (Block) service [init -> drivers -> usb_drv] No <nic> config node found - not starting the USB Nic (Network) service [init -> drivers -> ps2_drv] detected ImPS/2 mouse - activating scroll-wheel support [init -> drivers -> usb_drv] No <raw> config node found - not starting external USB service [init -> drivers -> usb_drv] Enabled UHCI (USB 1.0/1.1) support [init -> drivers -> usb_drv] Enabled EHCI (USB 2.0) support [init -> drivers -> usb_drv] Enabled XHCI (USB 3.0) support [init -> drivers -> platform_drv] PS2 uses IRQ, vector 0x1 [init -> drivers -> platform_drv] PS2 uses IRQ, vector 0xc [init -> drivers -> fb_drv] Found PCI VGA at 00:0f.0 [init -> drivers -> fb_drv] fb mapped to 0x5000 [init -> drivers -> platform_drv] Warning: Out_of_caps during Device_component construction [init -> drivers -> usb_drv] ioremap: mapped phys 0xfd5ef000 (size 4096) to virt 0x17000 [init -> drivers -> usb_drv] ioremap: return sub range phys 0xfd5ef000 (size 4096) to virt 0x17000 [init -> drivers -> usb_drv] dev_info: EHCI Host Controller [init -> drivers -> usb_drv] dev_info: new USB bus registered, assigned bus number 1 [init -> drivers -> platform_drv] 02:04.0 uses IRQ, vector 0xa, non-maskable [init -> drivers -> usb_drv] dev_info: irq 129, io mem 0xfd5ef000 [init -> drivers -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00 [init -> drivers -> usb_drv] dev_info: USB hub found [init -> drivers -> usb_drv] dev_info: 6 ports detected [init -> drivers -> usb_drv] dev_info: UHCI Host Controller [init -> drivers -> usb_drv] dev_info: new USB bus registered, assigned bus number 2 [init -> drivers -> platform_drv] 02:03.0 uses IRQ, vector 0xb, non-maskable [init -> drivers -> usb_drv] dev_info: irq 130, io base 0x00002080 [init -> drivers -> usb_drv] dev_info: USB hub found [init -> drivers -> usb_drv] dev_info: 2 ports detected Warning: PD (init -> drivers -> input_filter) cap limit (used=36, limit=37) exceeded during transfer_quota(3) [init -> drivers -> input_filter] resource_request: cap_quota=3 [init -> drivers] child "input_filter" requests resources: cap_quota=3 [init -> drivers -> usb_drv] dev_info: new full-speed USB device number 2 using uhci_hcd [init -> drivers -> usb_drv] dev_info: V V [init -> drivers -> usb_drv] dev_info: input: USB HID v1.10 Mouse [V V] on usb-dummy-1/input0 [init -> drivers -> usb_drv] dev_info: V V [init -> drivers -> usb_drv] dev_info: input: USB HID v1.10 Mouse [V V] on usb-dummy-1/input1 [init -> drivers -> usb_drv] dev_info: new full-speed USB device number 3 using uhci_hcd [init -> drivers -> usb_drv] dev_info: USB hub found [init -> drivers -> usb_drv] dev_info: 7 ports detected

4 4

VirualBox + Genode on Muen SK Demo (iso)?
by Lonnie Cumberland 11 Jul '19

11 Jul '19

Hello All, Can some one please tell me if there is a demo available to show Virtualbox + Genode on Muen SK as I would really like to see it in action? Also, I heard there might be a NOVA + Virtualbox version somewhere as well.] Would like to download these to see them before I dig into things more, if possible. Thanks, Lonnie

2 1

Muen SK with VirtualBox VMM
by Lonnie Cumberland 11 Jul '19

11 Jul '19

Greetings All, I have been keeping an eye on Genode and in particular the NOVA Microvisor project for a long time now as I had always thought that it was a very good direction. As Genode has grown, it seems that more advancements are made all of the time which is awesome. Lately, I have turn my attention to Type-1 hypervisors like XCP-ng (Xen) and SmartOS while also digging into Separation Kernels a bit to see what they can offer. On that note, I have briefly started reviewing Muen SK and am trying to see what it can do, but came across the Genode project that is supposed to have Muen SK as the Host with a VirtualBox VMM for the Guest OS's. Can someone please tell me if there is any active work going on in this area as I am very interested in being able to run X86_64 Guests like Windows 7 Pro, Windows 10, and Linux all 64-bit? Thanks a lot in advance. Lonnie

2 2

Announcement: Sculpt OS version 19.07 released
by Norman Feske 09 Jul '19

09 Jul '19

Dear Sculpt OS users, I am happy to announce the release of Sculpt version 19.07, which incorporates the infrastructural improvements that came with Genode 19.05 [1]. The new tool chain, updated C runtime, and VFS infrastructure contribute visibly to a smoother user experience. Feature-wise, the addition of a clipboard mechanism paves the ground for new use cases and work flows between native components and virtual machines, allowing us to continue our transition from the work within virtual machines towards working in the native Genode environment. Our unique take on copy and paste is described in a dedicated article [2]. It goes without saying that the version comes with updated documentation [3]. Download a ready-to-use system image at the Sculpt download page: https://genode.org/download/sculpt Have fun with Sculpt 19.07! Norman [1] https://genode.org/documentation/release-notes/19.05 [2] https://genodians.org/nfeske/2019-07-03-copy-paste [3] https://genode.org/documentation/articles/sculpt-19-07 -- Dr.-Ing. Norman Feske Genode Labs https://www.genode-labs.com · https://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users