ptos/amd64: Add port I/O headers

Signed-off-by: Chloe M. <chloe@yiffware.org>
2026-07-10 05:16:34 +00:00
parent d8d686352d
commit 5f556df0ac
3 changed files with 67 additions and 1 deletions
@@ -9,7 +9,12 @@
 include ../mk/ptos.mk

 .PHONY: all
-all: spkg ke machine
+all: target spkg ke machine post
+
+.PHONY: target
+target:
+	mkdir -p target/machine/
+	rsync -avr head/arch/$(PT_TARGET_ARCH)/*.h target/machine/

 .PHONY: ke
 ke:
@@ -22,3 +27,7 @@ spkg:
 .PHONY: machine
 machine:
 	cd arch/$(PT_TARGET_ARCH)/; $(MAKE) $(PASSDOWN_ARGS)
+
+.PHONY: post
+post:
+	rm -rf target/