source: trunk/params-hard.mk @ 625

Last change on this file since 625 was 625, checked in by alain, 2 years ago

Fix a bug in the vmm_remove_vseg() function: the physical pages
associated to an user DATA vseg were released to the kernel when
the target process descriptor was in the reference cluster.
This physical pages release should be done only when the page
forks counter value is zero.
All other modifications are cosmetic.

File size: 262 bytes
RevLine 
[439]1# Parameters definition for the ALMOS-MKH Makefile
2
3ARCH      = /users/alain/soc/tsar-trunk-svn-2013/platforms/tsar_generic_iob
[623]4X_SIZE    = 1
[624]5Y_SIZE    = 2
[610]6NB_PROCS  = 1
[625]7NB_TTYS   = 2
[439]8IOC_TYPE  = IOC_BDV
[590]9TXT_TYPE  = TXT_TTY
10FBF_TYPE  = FBF_SCL
11SYS_CLK   = 50000
Note: See TracBrowser for help on using the repository browser.