Update function profiling workbook to demonstrate new 'files' option
Signed-off-by: Chris Redpath <chris.redpath@arm.com>
diff --git a/ipynb/profiling/kernel_functions_profiling.ipynb b/ipynb/profiling/kernel_functions_profiling.ipynb
index 4e23dda..f4683d7 100644
--- a/ipynb/profiling/kernel_functions_profiling.ipynb
+++ b/ipynb/profiling/kernel_functions_profiling.ipynb
@@ -211,13 +211,45 @@
" \"cpufreq\" : {\n",
" \"governor\" : \"performance\",\n",
" },\n",
+ " # provide a set of files and values to write into them\n",
+ " \"files\" : {\n",
+ " # if filenames start with !/ then we verify that the content\n",
+ " # matches what we wrote and raise an exception if it does not.\n",
+ " # All filenames without an initial decorator are not verified,\n",
+ " # and we do not assert that the write was allowed\n",
+ " # (i,e, the file existed, we have write permission, etc.)\n",
+ " # this means we can use this for sysctls or other files whose\n",
+ " # presence or permissions might depend upon kernel config or\n",
+ " # OS support and we reasonably can proceed for either case.\n",
+ " '/this_file_doesnt_exist_and_we_dont_care' : '1',\n",
+ " '/proc/sys/kernel/sched_is_big_little' : '0',\n",
+ " '/proc/sys/kernel/sched_initial_task_util' : '1023',\n",
+ " '/proc/sys/kernel/sched_use_walt_cpu_util' : '0',\n",
+ " '/proc/sys/kernel/sched_use_walt_task_util' : '0',\n",
+ " '/proc/sys/kernel/sched_cstate_aware' : '1',\n",
+ " '/proc/sys/kernel/sched_walt_cpu_high_irqload' : '10000000',\n",
+ " '/proc/sys/kernel/sched_init_task_load_pct' : '15',\n",
+ " '!/proc/sys/kernel/sched_latency_ns' : '10000000',\n",
+ " '!/proc/sys/kernel/sched_migration_cost_ns' : '500000',\n",
+ " },\n",
" },\n",
" {\n",
" \"tag\" : \"eas\",\n",
" \"flags\" : \"ftrace\",\n",
" \"sched_features\" : \"ENERGY_AWARE\",\n",
" \"cpufreq\" : {\n",
- " \"governor\" : \"performance\",\n",
+ " \"governor\" : \"performance\",\n",
+ " },\n",
+ " \"files\" : {\n",
+ " '/proc/sys/kernel/sched_is_big_little' : '1',\n",
+ " '/proc/sys/kernel/sched_initial_task_util' : '1023',\n",
+ " '/proc/sys/kernel/sched_use_walt_cpu_util' : '0',\n",
+ " '/proc/sys/kernel/sched_use_walt_task_util' : '0',\n",
+ " '/proc/sys/kernel/sched_cstate_aware' : '1',\n",
+ " '/proc/sys/kernel/sched_walt_cpu_high_irqload' : '10000000',\n",
+ " '/proc/sys/kernel/sched_init_task_load_pct' : '15',\n",
+ " '!/proc/sys/kernel/sched_latency_ns' : '10000000',\n",
+ " '!/proc/sys/kernel/sched_migration_cost_ns' : '500000',\n",
" },\n",
" },\n",
" ],\n",