Hi, First things first, congratulations! I think Sculpt is the OS I've been looking for, mainly the concept of running a micro kernel and have drivers in userland.
I've been playing with Sculpt (VC) for a few days. Have it on a 16GB usb and have aplyed Extend so the whole usb is used. It boots both on my Void Linux laptop in UEFI mode and on my NetBSD laptop in legacy mode without an itch. Also, all my wifi bands are detected and I had NO issues adding software from the repo.
Although, documentation doesn't really describe how to install onto a SSD, I think I will manage with a slight work around. But, before I do that I have a few questions, if you don't mind!?
1) How to shutdown my machine? Up to now, I haven't figured it out and been forcing shutdown using the power switch. I've tried 'poweroff' and 'shutdown -p now' to no avail.
2) Is a new release coming soon? I have a SE_SV keyboard and although, I can do it with de this is not optimal. I might just write a keyboard definition, but if its coming soon, it would be a waste of time.
3) Related to 2)... I've changed config to use de instead of en_US, but everytime I restart its back in en_US!? I've looked through the documentation, but I'm afraid I'm doing something wrong, as changes are not stored!?!
Thank you for your time and for this amazing OS.
Regards, Pin
Skickat från ProtonMail mobile
Hello Pin,
On Monday, February 18, 2019 5:05:15 PM CET, voidpin via users wrote:
- How to shutdown my machine? Up to now, I haven't figured it
out and been forcing shutdown using the power switch. I've tried 'poweroff' and 'shutdown -p now' to no avail.
I also use the power button to forcibly shutown, but maybe someone else has a tip on ACPI shutdown.
- Related to 2)... I've changed config to use de instead of
en_US, but everytime I restart its back in en_US!? I've looked through the documentation, but I'm afraid I'm doing something wrong, as changes are not stored!?!
To "commit" your configuration changes you will need to copy the changed files to storage, this would probably be at /rw/config/18.11/input_filter in your case, the version number is available from an "Inspect" terminal in /VERSION file.
- Is a new release coming soon? I have a SE_SV keyboard and
although, I can do it with de this is not optimal. I might just write a keyboard definition, but if its coming soon, it would be a waste of time.
A new release is coming soon, but I believe the only additional layout will be French. Creating Swedish should be easy though, just copy /config/de.chargen to /config/se_sv.chargen, make your changes there, edit /config/input_filter to change which chargen files are loaded, and if that works, copy those files to /rw so that they are loaded again at next boot.
Thank you for the kind words, Emery
Thanks! I'll try your suggestions on my usb and wait for the new release before installing to SSD.
I'm planning to boot gparted-live, clear the disk, download the image and dd it to the SSD. Or, would it be better to mount the image and extract the files to the SSD?
Hope for a tip on shutdown and looking forward to the new release.
Skickat från ProtonMail mobile
-------- Originalmeddelande -------- På 18 feb. 2019 21:27, Emery Hemingway skrev:
Skickat från ProtonMail mobile
-------- Originalmeddelande -------- På 18 feb. 2019 21:27, Emery Hemingway skrev:
Hello Pin,
On Monday, February 18, [2019 5](tel:20195):05:15 PM CET, voidpin via users wrote:
- How to shutdown my machine? Up to now, I haven't figured it
out and been forcing shutdown using the power switch. I've tried 'poweroff' and 'shutdown -p now' to no avail.
I also use the power button to forcibly shutown, but maybe someone else has a tip on ACPI shutdown.
- Related to 2)... I've changed config to use de instead of
en_US, but everytime I restart its back in en_US!? I've looked through the documentation, but I'm afraid I'm doing something wrong, as changes are not stored!?!
To "commit" your configuration changes you will need to copy the changed files to storage, this would probably be at /rw/config/18.11/input_filter in your case, the version number is available from an "Inspect" terminal in /VERSION file.
- Is a new release coming soon? I have a SE_SV keyboard and
although, I can do it with de this is not optimal. I might just write a keyboard definition, but if its coming soon, it would be a waste of time.
A new release is coming soon, but I believe the only additional layout will be French. Creating Swedish should be easy though, just copy /config/de.chargen to /config/se_sv.chargen, make your changes there, edit /config/input_filter to change which chargen files are loaded, and if that works, copy those files to /rw so that they are loaded again at next boot.
Thank you for the kind words, Emery
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
You can't just extract the files if you want to include the GRUB2 bootloader. If you don't need it, then go ahead and extract them. You can load grub.cfg using the GRUB2 configfile command.
On Mon, Feb 18, 2019 at 11:56 PM voidpin via users users@lists.genode.org wrote:
Thanks! I'll try your suggestions on my usb and wait for the new release before installing to SSD.
I'm planning to boot gparted-live, clear the disk, download the image and dd it to the SSD. Or, would it be better to mount the image and extract the files to the SSD?
Hope for a tip on shutdown and looking forward to the new release.
Skickat från ProtonMail mobile
-------- Originalmeddelande -------- På 18 feb. 2019 21:27, Emery Hemingway < ehmry@posteo.net> skrev:
Skickat från ProtonMail mobile
-------- Originalmeddelande -------- På 18 feb. 2019 21:27, Emery Hemingway < ehmry@posteo.net> skrev:
Hello Pin,
On Monday, February 18, 2019 5 <20195>:05:15 PM CET, voidpin via users wrote:
- How to shutdown my machine? Up to now, I haven't figured it
out and been forcing shutdown using the power switch. I've tried 'poweroff' and 'shutdown -p now' to no avail.
I also use the power button to forcibly shutown, but maybe someone else has a tip on ACPI shutdown.
- Related to 2)... I've changed config to use de instead of
en_US, but everytime I restart its back in en_US!? I've looked through the documentation, but I'm afraid I'm doing something wrong, as changes are not stored!?!
To "commit" your configuration changes you will need to copy the changed files to storage, this would probably be at /rw/config/18.11/input_filter in your case, the version number is available from an "Inspect" terminal in /VERSION file.
- Is a new release coming soon? I have a SE_SV keyboard and
although, I can do it with de this is not optimal. I might just write a keyboard definition, but if its coming soon, it would be a waste of time.
A new release is coming soon, but I believe the only additional layout will be French. Creating Swedish should be easy though, just copy /config/de.chargen to /config/se_sv.chargen, make your changes there, edit /config/input_filter to change which chargen files are loaded, and if that works, copy those files to /rw so that they are loaded again at next boot.
Thank you for the kind words, Emery
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users _______________________________________________ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Thanks! I do need GRUB. Guess, I'll stick to plan A.
Just in case you would like to know, and as mentioned in my first post, Sculpt boots and runs perfectly on these two machines:
NetBSD laptop booting in Legacy mode HP ProBook 6460b i5 ~ $ pcictl pci0 list 000:00:0: Intel Sandy Bridge (mobile) Host Bridge (host bridge, revision 0x09) 000:02:0: Intel Sandy Bridge (mobile) GT2+ Integrated Graphics Device (VGA display, revision 0x09) 000:22:0: Intel 6 Series Chipset Family MEI (miscellaneous communications, revision 0x04) 000:25:0: Intel 82579V Gigabit Network Connection (ethernet network, revision 0x04) 000:26:0: Intel 6 Series Chipset Family USB (USB serial bus, EHCI, revision 0x04) 000:27:0: Intel 6 Series Chipset Family HD Audio (mixed mode multimedia, revision 0x04) 000:28:0: Intel 6 Series Chipset Family PCIe Root Port 1 (PCI bridge, revision 0xb4) 000:28:1: Intel 6 Series Chipset Family PCIe Root Port 2 (PCI bridge, revision 0xb4) 000:28:2: Intel 6 Series Chipset Family PCIe Root Port 3 (PCI bridge, revision 0xb4) 000:28:3: Intel 6 Series Chipset Family PCIe Root Port 4 (PCI bridge, revision 0xb4) 000:29:0: Intel 6 Series Chipset Family USB (USB serial bus, EHCI, revision 0x04) 000:31:0: Intel HM65 LPC (ISA bridge, revision 0x04) 000:31:2: Intel 6 Series Chipset Family AHCI 2 (SATA mass storage, AHCI 1.0, revision 0x04) 035:00:0: JMicron Technology JMB38X IEEE 1394 Host Controller (IEEE1394 serial bus, OpenHCI, revision 0x30) 035:00:1: JMicron Technology JMB388 SD/MMC Host Controller (miscellaneous system, revision 0x30) 035:00:2: JMicron Technology JMB388 SD Host Controller (SD Host Controller system, interface 0x01, revision 0x30) 036:00:0: Intel Centrino Advanced-N 6205 WiFi (miscellaneous network, revision 0x34)
Void Linux laptop booting in UEFI mode HP ZBook 15u G3 i5 ~$ lspci 00:00.0 Host bridge: Intel Corporation Xeon E3-1200 v5/E3-1500 v5/6th Gen Core Processor Host Bridge/DRAM Registers (rev 08) 00:02.0 VGA compatible controller: Intel Corporation Skylake GT2 [HD Graphics 520] (rev 07) 00:14.0 USB controller: Intel Corporation Sunrise Point-LP USB 3.0 xHCI Controller (rev 21) 00:14.2 Signal processing controller: Intel Corporation Sunrise Point-LP Thermal subsystem (rev 21) 00:15.0 Signal processing controller: Intel Corporation Sunrise Point-LP Serial IO I2C Controller #0 (rev 21) 00:16.0 Communication controller: Intel Corporation Sunrise Point-LP CSME HECI #1 (rev 21) 00:17.0 SATA controller: Intel Corporation Sunrise Point-LP SATA Controller [AHCI mode] (rev 21) 00:1c.0 PCI bridge: Intel Corporation Device 9d11 (rev f1) 00:1c.3 PCI bridge: Intel Corporation Device 9d13 (rev f1) 00:1c.4 PCI bridge: Intel Corporation Sunrise Point-LP PCI Express Root Port #5 (rev f1) 00:1f.0 ISA bridge: Intel Corporation Sunrise Point-LP LPC Controller (rev 21) 00:1f.2 Memory controller: Intel Corporation Sunrise Point-LP PMC (rev 21) 00:1f.3 Audio device: Intel Corporation Sunrise Point-LP HD Audio (rev 21) 00:1f.4 SMBus: Intel Corporation Sunrise Point-LP SMBus (rev 21) 00:1f.6 Ethernet controller: Intel Corporation Ethernet Connection I219-V (rev 21) 01:00.0 Unassigned class [ff00]: Realtek Semiconductor Co., Ltd. RTS522A PCI Express Card Reader (rev 01) 02:00.0 Network controller: Intel Corporation Wireless 8260 (rev 3a) 03:00.0 VGA compatible controller: Advanced Micro Devices, Inc. [AMD/ATI] Opal XT [Radeon R7 M265/M365X/M465] (rev 81)
Sent with [ProtonMail](https://protonmail.com) Secure Email.
I use Sculpt with an SSD, but I always boot from USB. I have the Sculpt image on a USB stick and my internal SSD has one partition name GENODE* which gets attached automatically by Sculpt. The firmware is configured to only boot from USB, which speeds thing up.
Emery
Hi,
On 18.02.19 17:05, voidpin via users wrote:
- How to shutdown my machine? Up to now, I haven't figured it out and been forcing shutdown using the power switch. I've tried 'poweroff' and 'shutdown -p now' to no avail.
under
https://genode.org/documentation/articles/sculpt-vc#Getting_a_first_impressi...
the -acpica- subsystem is mentioned. If you start it and if it works on your specific machine (see [0] for known issues and a possible workaround), you may specify to reboot or to shutdown your system by modifying the config/system file. When you open the file, you will see the valid xml attribute options.
Cheers,
Alex.
[0] https://github.com/genodelabs/genode/issues/2998
Is a new release coming soon? I have a SE_SV keyboard and although, I can do it with de this is not optimal. I might just write a keyboard definition, but if its coming soon, it would be a waste of time.
Related to 2)... I've changed config to use de instead of en_US, but everytime I restart its back in en_US!? I've looked through the documentation, but I'm afraid I'm doing something wrong, as changes are not stored!?!
Thank you for your time and for this amazing OS.
Regards, Pin
Skickat från ProtonMail mobile
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users