#
|
#
|
# Makefile to build a bootable disk, and either start the
|
# Makefile to build a bootable disk, and either start the
|
# ECO32 simulator with a ROM monitor (goal: run an OS within
|
# ECO32 simulator with a ROM monitor (goal: run an OS within
|
# the simulator) or start the serial line disk server (goal:
|
# the simulator) or start the serial line disk server (goal:
|
# run an OS on an FPGA board).
|
# run an OS on an FPGA board).
|
#
|
#
|
# NOTE: Please set SER_DEV to the serial line device on which
|
# NOTE: Please set SER_DEV to the serial line device on which
|
# the disk server should wait for commands!
|
# the disk server should wait for commands!
|
#
|
#
|
|
|
BUILD = ..
|
BUILD = ..
|
|
|
SER_DEV = /dev/tty01
|
SER_DEV = /dev/tty01
|
DSK_IMG = disk.img
|
DSK_IMG = disk.img
|
RUN_LOG = run.log
|
RUN_LOG = run.log
|
|
|
all: $(DSK_IMG)
|
all: $(DSK_IMG)
|
|
|
run-sim: $(DSK_IMG)
|
run-sim: $(DSK_IMG)
|
$(BUILD)/bin/sim -i -m 16 -c -t 2 \
|
$(BUILD)/bin/sim -i -m 32 -c -t 2 \
|
-r $(BUILD)/monitor/simulator/monitor.bin \
|
-r $(BUILD)/monitor/simulator/monitor.bin \
|
-d $(DSK_IMG) -o $(RUN_LOG)
|
-d $(DSK_IMG) -o $(RUN_LOG)
|
|
|
run-server: $(DSK_IMG)
|
run-server: $(DSK_IMG)
|
$(BUILD)/bin/diskserv $(SER_DEV) $(DSK_IMG)
|
$(BUILD)/bin/diskserv $(SER_DEV) $(DSK_IMG)
|
|
|
$(DSK_IMG):
|
$(DSK_IMG):
|
$(BUILD)/bin/mkdisk $(DSK_IMG) 100M
|
$(BUILD)/bin/mkdisk $(DSK_IMG) 100M
|
$(BUILD)/bin/mkpart $(DSK_IMG) disk.part
|
$(BUILD)/bin/mkpart $(DSK_IMG) disk.part
|
$(MAKE) -C fs-EOS32 all
|
$(MAKE) -C fs-EOS32 all
|
$(MAKE) -C fs-NetBSD all
|
$(MAKE) -C fs-NetBSD all
|
|
|
clean:
|
clean:
|
$(MAKE) -C fs-EOS32 clean
|
$(MAKE) -C fs-EOS32 clean
|
$(MAKE) -C fs-NetBSD clean
|
$(MAKE) -C fs-NetBSD clean
|
rm -f *~ $(DSK_IMG) $(RUN_LOG)
|
rm -f *~ $(DSK_IMG) $(RUN_LOG)
|
|
|