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

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.