Skip to content
View in the app

A better way to browse. Learn more.

Armbian Community Forums

A full-screen app on your home screen with push notifications, badges and more.

To install this app on iOS and iPadOS
  1. Tap the Share icon in Safari
  2. Scroll the menu and tap Add to Home Screen.
  3. Tap Add in the top-right corner.
To install this app on Android
  1. Tap the 3-dot menu (⋮) in the top-right corner of the browser.
  2. Tap Add to Home screen or Install app.
  3. Confirm by tapping Install.

Docker build: Segmentation fault (core dumped)

Featured Replies

Hi there,

 

  I am trying to build the image using docker, but I get several "Segmentation fault (core dumped)" error messages and as result the build gets interrupted.

 

Would like to stick to docker build (I am running of fedora 39, and it automatically selects docker), as it looks to be far more efficient rather than running it into a VM.

 

Any idea on how could I get rid of this issue?

 

Thanks is advance!

 

Andrea

you can try 

compile.sh PREFER_DOCKER=no

 

note that the docs specify  Ubuntu Jammy 22.04

https://docs.armbian.com/Developer-Guide_Build-Preparation/

 

I did this:

the catch is, building it in a systemd-nspawn container cannot use loop devices, hence, the build will fail at building the image, but it does the other 90% compiling things.

and fail to make the image at the end

 

Edited by ag123

  • Author

Hi @Igor,

 

  thanks for the hint.

 

I thought PREFER_DOCKER=yes was the default, however I will give it a try.

 

Host OS is Fedora 39, kernel 6.5.12-300.fc39.x86_64 and qemu version 2:8.1.1-1.fc39.

 

Kind regards

 

 

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.

Guest
Reply to this topic...

Account

Navigation

Search

Search

Configure browser push notifications

Chrome (Android)
  1. Tap the lock icon next to the address bar.
  2. Tap Permissions → Notifications.
  3. Adjust your preference.
Chrome (Desktop)
  1. Click the padlock icon in the address bar.
  2. Select Site settings.
  3. Find Notifications and adjust your preference.