inferno 64 bit

Caerwyn Jones

unread,

Dec 18, 2022, 7:02:57 PM12/18/22

to inferno-os

Hi,

I've been working quite a bit with docker lately. Folks might be interested in the images I've uploaded to docker hub https://hub.docker.com/u/caerwyn.

Note there are images for amd64 and arm64. These were built using a fork of 9ferno from 9front where most of the work had been already been done to get it working on 64 bit. Note that dis files are not compatible between 32 and 64 bit.

See the amd64 and arm64 branches here if you're interested https://github.com/caerwynj/9ferno.

The dockerfiles for building the images are all here. https://github.com/caerwynj/inferno-dockerfiles

thanks

Caerwyn

Dave Woodman

unread,

Apr 1, 2023, 5:52:42 AMApr 1

to inferno-os

Hi,

It is possible to build emu for 64-bit Linux hosts? If so my environment must be lacking, since I end with a lot of compilation errors (missing fields in structs etc).

I would be interested in playing with this on desktop Linux, WSL and/or Qemu if it is 'ready.'

Thanks,

Dave

Dave Woodman

unread,

Apr 1, 2023, 5:54:19 AMApr 1

to inferno-os

Is it possible.. (of course)

Caerwyn Jones

unread,

Apr 2, 2023, 1:16:11 PMApr 2

to inferno-os

This set of steps works for me on a debian or ubuntu Linux.

apt-get update -y
apt-get install -y libx11-dev libxext-dev libc6-dev gcc
export objtype=amd64

# update mkconfig and set OBJTYPE=$objtype
# build code
./makemk.sh
mk clean
mk mkdirs
mk install

Caerwyn Jones

unread,

Apr 2, 2023, 1:17:21 PMApr 2

to inferno-os

Also make sure you're on branch amd64 and not main.

Dave Woodman

unread,

Apr 8, 2023, 5:22:37 PMApr 8

to inferno-os

Thank you!

I shall get playing again as soon as I can

Reply all

Reply to author

Forward