space edits

master
Lukasz Ziarek 2023-08-25 21:22:21 -04:00
parent 7133a48c6f
commit ae9dbcb073
1 changed files with 2 additions and 3 deletions

View File

@ -1,8 +1,7 @@
% -*- root: ../main.tex -*-
%!TEX root=../main.tex
In this section, we explain and motivate the design of the \systemname governor.
We start with the default \schedutil governor, and iteratively adapt it based on our claims from the preceding sections.
% %\begin{figure*}
@ -171,7 +170,7 @@ We start with the default \schedutil governor, and iteratively adapt it based on
% %\fixme{OR ignore hint if screenoff / non-interactive}
We start with the default \schedutil governor, and iteratively adapt it based on our claims from the preceding sections.
The Android AOSP 10 platform forms the base of our system.
We modded the Linux 4.4.210 kernel with the \systemname governor to implement the design logic.
This is based on a fork of the \schedutil governor.