Menu

Tree [242422] origin /
 History

HTTPS access


File Date Author Commit
 bin 2025-05-17 phoboz phoboz [242422] Initial commit
 include 2025-05-17 phoboz phoboz [242422] Initial commit
 lib 2025-05-17 phoboz phoboz [242422] Initial commit
 share 2025-05-17 phoboz phoboz [242422] Initial commit
 src 2025-05-17 phoboz phoboz [242422] Initial commit
 COPYING 2025-05-17 phoboz phoboz [242422] Initial commit
 README.md 2025-05-17 phoboz phoboz [242422] Initial commit

Read Me

Real VMX - Realtime Operating System.
Starting from scratch based on: http://sourceforge.net/projects/vmx/

Setup enviroment:
export VMX_BASE=/vmx-source-path

Build instructions:
cd $VMX_BASE
cd src
make CPU=PENTIUM2
cd build/i386
make

Installation instructions:
sudo cp vmx /boot

This only has to be done once!
sudo cat >> /etc/grub.d/40_custom
menuentry 'Real VMX' {
insmod bsd
set root=(hd0,n) # Where n is the partition containing /boot
knetbsd /boot/vmx
}
Press Control-D

sudo update-grub

Reboot and;
Select Real VMX at the boot menu