search

CTSRD-CHERI / cheribsd-ports

FreeBSD ports tree adapted for CheriBSD.
https://CheriBSD.org
Other
5 stars 10 forks source link

problem with installing pkg64 and desktop #100

Closed RabsK closed 10 months ago

RabsK commented 1 year ago

Dear researcher/technical team,

Hope this message will find you well!

I have been trying for a couple of months to install desktop for cheribsd. Unfortunately, I am unable to install it. It may be because of the pkg64c and pkg64 package.

image image

I have tried after installing the cheribsd using pkg64 and during the installation of OS as well.

Please let me know if there is an alternative to this.

Thank you Regards

kwitaszczyk commented 1 year ago

The error says that the name pkg.CheriBSD.org cannot be resolved. It looks like a networking issue in your configuration. Could you make sure that you have correctly configured network?

RabsK commented 1 year ago

Thank you for your reply.

Yes, I am using only internet connection provided and configured by IT department. Unless there is something that needs to be configured within the board after or before installing CheriBSD. If there is a method to configure network using CheriBSD then please let me know.

Thank you

kwitaszczyk commented 1 year ago

Does your DNS server respond (e.g., ping 8.8.8.8) and resolve the pkg.CheriBSD.org name (e.g., host pkg.cheribsd.org)?

ifconfig should print a valid IP address, netstat -rn should print a valid gateway address and /etc/resolv.conf should include a valid DNS server address. The CheriBSD installer should ask you about all these settings and set them for you. You can read more how to manually configure network on a FreeBSD/CheriBSD host in the FreeBSD handbook .

kwitaszczyk commented 10 months ago

As reported in a separate discussion at the CHERI-CPU Slack, this issue was related to configuration and can be closed now.