Changeset 625 for trunk/Makefile


Ignore:
Timestamp:
Apr 10, 2019, 10:09:39 AM (2 years ago)
Author:
alain
Message:

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:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/Makefile

    r623 r625  
    1313# Default values for hardware parameters.
    1414# These parameters should be defined in the 'params-hard.mk' file.
    15 ARCH            ?= /users/alain/soc/tsar-trunk-svn-2013/platforms/tsar_generic_iob
    16 X_SIZE          ?= 2
    17 Y_SIZE          ?= 2
    18 NB_PROCS        ?= 2
    19 NB_TTYS         ?= 3
    20 IOC_TYPE        ?= IOC_BDV
     15ARCH        ?= /users/alain/soc/tsar-trunk-svn-2013/platforms/tsar_generic_iob
     16X_SIZE      ?= 2
     17Y_SIZE      ?= 2
     18NB_PROCS    ?= 2
     19NB_TTYS     ?= 3
     20IOC_TYPE    ?= IOC_BDV
    2121TXT_TYPE    ?= TXT_TTY
    2222FBF_TYPE    ?= FBF_SCL
     
    117117        rm -f $(DISK_IMAGE)
    118118        ./create_dmg    create $(basename $(DISK_IMAGE))
    119         dd                              if=$(DISK_IMAGE) of=temp.dmg count=65536
    120         mv                              temp.dmg $(DISK_IMAGE)
    121         mmd                     -o -i $(DISK_IMAGE) ::/bin         || true
    122         mmd                     -o -i $(DISK_IMAGE) ::/bin/kernel  || true
    123         mmd                     -o -i $(DISK_IMAGE) ::/bin/user    || true
    124         mmd                     -o -i $(DISK_IMAGE) ::/home        || true
    125         mdir             -/ -b -i $(DISK_IMAGE) ::/
     119        dd              if=$(DISK_IMAGE) of=temp.dmg count=65536
     120        mv              temp.dmg $(DISK_IMAGE)
     121        mmd             -o -i $(DISK_IMAGE) ::/bin            || true
     122        mmd             -o -i $(DISK_IMAGE) ::/bin/kernel     || true
     123        mmd             -o -i $(DISK_IMAGE) ::/bin/user       || true
     124        mmd             -o -i $(DISK_IMAGE) ::/home           || true
     125        mcopy           -o -i $(DISK_IMAGE) Makefile ::/home  || true
     126        mdir                -/ -b -i $(DISK_IMAGE) ::/
    126127
    127128##############################################################
Note: See TracChangeset for help on using the changeset viewer.