]> rtime.felk.cvut.cz Git - l4.git/blob - l4/pkg/bootstrap_custom/server/src/Makeconf.local
projects / l4.git / blob
? search:


5056ba83824ffa952ca2be02cf77f7a4b43f7cc3
[l4.git] / l4 / pkg / bootstrap_custom / server / src / Makeconf.local
1 #our jailhouse-specific build config
2 DEFINES += -DJAILHOUSE
3 DEFINES += -DIMAGE_MODE
4 DEFINES += -DREALMODE_LOADING
5 DEFINES += -DRAM_SIZE_MB