diff options
| author | Dan Gudmundsson <[email protected]> | 2017-12-19 12:05:30 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2017-12-19 12:05:30 +0100 |
| commit | 03c3bde623fdcb6e9ef4d390cc50fc812cb156d9 (patch) | |
| tree | b443283e28788421bf079702102eb60ebf7d51b6 /lib/kernel/src/kernel.app.src | |
| parent | 135317d5587af9e8479bfcc6e767913fc4f7a6de (diff) | |
| parent | 7067db6e361e8f2feadd76dd6df66e5c6c4f8a0e (diff) | |
| download | otp-03c3bde623fdcb6e9ef4d390cc50fc812cb156d9.tar.gz otp-03c3bde623fdcb6e9ef4d390cc50fc812cb156d9.tar.bz2 otp-03c3bde623fdcb6e9ef4d390cc50fc812cb156d9.zip | |
Merge branch 'dgud/kernel/refc_sched_wall_time/OTP-11694'
* dgud/kernel/refc_sched_wall_time/OTP-11694:
test: spawn scheduler_wall_time flag holder
Turn on scheduler_wall_time in an alive process
Redirect system_flag(scheduler_wall_time,_) to kernel_refc
kernel: add a resource reference counter
Diffstat (limited to 'lib/kernel/src/kernel.app.src')
| -rw-r--r-- | lib/kernel/src/kernel.app.src | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/kernel/src/kernel.app.src b/lib/kernel/src/kernel.app.src index e4852a6e75..82a3571da9 100644 --- a/lib/kernel/src/kernel.app.src +++ b/lib/kernel/src/kernel.app.src @@ -57,6 +57,7 @@ inet_tcp_dist, kernel, kernel_config, + kernel_refc, local_tcp, local_udp, net, @@ -114,6 +115,7 @@ heart, init, kernel_config, + kernel_refc, kernel_sup, net_kernel, net_sup, |