diff --git a/examples/hello/app/default.nix b/examples/hello/app/default.nix
index c3a68b38..06b499c6 100644
--- a/examples/hello/app/default.nix
+++ b/examples/hello/app/default.nix
@@ -14,8 +14,6 @@ stdenv.mkDerivation {
 
   buildPhase = ''
     mrbc -g -o app.mrb \
-      $(find ${../../../boot/gui/lib} -type f -name '*.rb' | sort) \
-      $(find ./lib -type f -name '*.rb' | sort) \
       $(find ./windows -type f -name '*.rb' | sort) \
       main.rb
   '';
diff --git a/examples/hello/app/lib/gui.rb b/examples/hello/app/lib/gui.rb
deleted file mode 100644
index 1f8a9abb..00000000
--- a/examples/hello/app/lib/gui.rb
+++ /dev/null
@@ -1,281 +0,0 @@
-module GUI
-  # Refreshing at 120 times per second *really* helps with the drag operations
-  # responsiveness. At 60 it feels a bit sluggish.
-  # This likely comes from the naïve implementation that we are not refreshing at
-  # 60 times per seconds, but rather, refresh and wait 1/60th of a second. This
-  # makes the refresh rate a tad slower.
-  # Boosting to 120 doesn't seem to have ill effects. It's simply refreshed more.
-  REFRESH_RATE = 120
-
-  # UI constants
-  NIXOS_LIGHT_HUE = 205
-  NIXOS_DARK_HUE  = 220
-
-  DIR = File.dirname($0)
-  ASSETS_DIR = File.join(File.dirname($0), "../share/hello-gui")
-
-  # Sets things up; back box for some ugly hacks.
-  def self.init()
-    return if @initialized
-    @initialized = true
-
-    # Get exclusive control of the framebuffer
-    # By design we will not restore the console at exit.
-    # We are assuming the target does not necessarily have a console attached to
-    # the framebuffer, so this program has to be enough by itself.
-    VTConsole.map_console(0)
-
-    # Used by the "simulator"
-    LVGL::Hacks.monitor_width = 720
-    LVGL::Hacks.monitor_height = 1280
-
-    # Prepare LVGL
-    LVGL::Hacks.init()
-
-    # And switch to the desired theme
-    LVGL::Hacks.theme_night(NIXOS_LIGHT_HUE)
-  end
-
-  # Runs the app, black boxes LVGL things.
-  def self.main_loop()
-    # Main loop
-    while true
-      LVGL::Hacks::LVTask.handle_tasks
-      sleep(1.0/REFRESH_RATE)
-    end
-  end
-
-  # Wraps an LVGL widget.
-  class Widget
-    def initialize(widget)
-      @widget = widget
-    end
-    def method_missing(*args)
-      @widget.send(*args)
-    end
-  end
-
-  class Button < Widget
-    def initialize(parent)
-      super(LVGL::LVButton.new(parent))
-      set_layout(LVGL::LAYOUT::COL_M)
-      set_ink_in_time(200)
-      set_ink_wait_time(100)
-      set_ink_out_time(500)
-      set_fit2(LVGL::FIT::FILL, LVGL::FIT::TIGHT)
-      @label = LVGL::LVLabel.new(self)
-    end
-
-    def set_label(label)
-      @label.set_text(label)
-    end
-  end
-
-  # Common pattern for a "back button".
-  # Handles its presentation, and handles its behaviour.
-  class BackButton < Button
-    # +parent+: Parent object
-    # +location+: An instance on which `present` can be called.
-    def initialize(parent, location)
-      @holder = LVGL::LVContainer.new(parent)
-      @holder.set_fit2(LVGL::FIT::FILL, LVGL::FIT::TIGHT)
-      @holder.set_style(LVGL::CONT_STYLE::MAIN, LVGL::LVStyle::STYLE_TRANSP.dup)
-      style = @holder.get_style(LVGL::CONT_STYLE::MAIN)
-      style.body_padding_top = 0
-      style.body_padding_left = 0
-      style.body_padding_right = 0
-      style.body_padding_bottom = 0
-
-      super(@holder)
-
-      @location = location
-      set_label("Back")
-      set_fit2(LVGL::FIT::NONE, LVGL::FIT::TIGHT)
-      set_width(@holder.get_width / 2)
-      set_x(0)
-
-      self.event_handler = ->(event) do
-        case event
-        when LVGL::EVENT::CLICKED
-          location.present()
-        end
-      end
-    end
-  end
-
-  # Implements a clock as a wrapped LVLabel.
-  class Clock < Widget
-    def initialize(parent)
-      super(LVGL::LVLabel.new(parent))
-      set_align(LVGL::LABEL_ALIGN::LEFT)
-      set_long_mode(LVGL::LABEL_LONG::CROP)
-
-      # Update the text once
-      update_clock
-
-      # Then register a task to update regularly.
-      @task = LVGL::Hacks::LVTask.create_task(250, LVGL::TASK_PRIO::MID, ->() do
-        update_clock
-      end)
-    end
-
-    def update_clock()
-      now = Time.now
-      set_text([
-        :hour,
-        :min,
-        :sec,
-      ].map{|fn| now.send(fn).to_s.rjust(2, "0") }.join(":"))
-    end
-  end
-
-  # Implements a battery widget as a wrapped LVLabel.
-  class Battery < Widget
-    def initialize(parent)
-      super(LVGL::LVLabel.new(parent))
-      set_align(LVGL::LABEL_ALIGN::RIGHT)
-      set_long_mode(LVGL::LABEL_LONG::CROP)
-
-      @battery = HAL::Battery.main_battery
-
-      # Update the text once
-      update_text
-
-      # Then register a task to update regularly.
-      @task = LVGL::Hacks::LVTask.create_task(1000 * 15, LVGL::TASK_PRIO::LOW, ->() do
-        update_text
-      end)
-    end
-
-    def update_text()
-      if @battery
-        set_text("(#{@battery.status}) #{@battery.percent}%")
-      else
-        set_text("[no known battery]")
-      end
-    end
-  end
-
-  # Empty invisible widget
-  class Screen < Widget
-    def initialize()
-      super(LVGL::LVContainer.new())
-      set_layout(LVGL::LAYOUT::COL_M)
-
-      style = get_style(LVGL::CONT_STYLE::MAIN).dup
-      set_style(LVGL::CONT_STYLE::MAIN, style)
-      style.body_padding_top = 0
-      style.body_padding_left = 0
-      style.body_padding_right = 0
-      style.body_padding_bottom = 0
-      style.body_padding_inner = 0
-    end
-  end
-
-  # Scrolling page.
-  class Page < Widget
-    def initialize(parent)
-      @parent = parent
-      # A "holder" widget to work around idiosyncracies of pages.
-      @holder = LVGL::LVContainer.new(parent)
-      @holder.set_fit2(LVGL::FIT::FILL, LVGL::FIT::NONE)
-      @holder.set_style(LVGL::CONT_STYLE::MAIN, LVGL::LVStyle::STYLE_TRANSP.dup)
-
-      # The actual widget we interact with
-      super(LVGL::LVPage.new(@holder))
-      style = LVGL::LVStyle::STYLE_TRANSP.dup
-      # Padding to zero in the actual scrolling widget makes the scrollbar visible
-      style.body_padding_left = 0
-      style.body_padding_right = 0
-
-      set_style(LVGL::PAGE_STYLE::BG, style)
-      set_style(LVGL::PAGE_STYLE::SCRL, style)
-      set_fit2(LVGL::FIT::FILL, LVGL::FIT::NONE)
-
-      # Make this scroll
-      set_scrl_layout(LVGL::LAYOUT::COL_M)
-
-      refresh
-    end
-
-    # Call this function when the position of the Page is changed.
-    # Mainly, this would be after filling the toolbar.
-    def refresh()
-      # Filling the parent that is at the root of the screen is apparently broken :/.
-      @holder.set_height(@parent.get_height_fit - @holder.get_y)
-      set_height(@holder.get_height - get_y)
-    end
-  end
-
-  # A container, with a new name
-  class Toolbar < Widget
-    def initialize(parent)
-      super(LVGL::LVContainer.new(parent))
-      set_height(0)
-      set_fit2(LVGL::FIT::FILL, LVGL::FIT::TIGHT)
-
-      set_style(LVGL::CONT_STYLE::MAIN, LVGL::LVStyle::STYLE_TRANSP.dup)
-      style = get_style(LVGL::CONT_STYLE::MAIN)
-      style.body_padding_top = 0
-      style.body_padding_bottom = 0
-    end
-  end
-
-  # Widget implementing the whole header
-  class Header < Widget
-    def initialize(parent)
-      super(LVGL::LVContainer.new(parent))
-
-      header_style = get_style(LVGL::CONT_STYLE::MAIN).dup
-      set_style(LVGL::CONT_STYLE::MAIN, header_style)
-      header_style.glass = 1
-      header_style.body_radius = 0
-      header_style.body_opa = 255 * 0.6
-
-      set_fit2(LVGL::FIT::FILL, LVGL::FIT::TIGHT)
-      set_layout(LVGL::LAYOUT::PRETTY)
-
-      # Split 50/50
-      child_width = (
-        get_width -
-        header_style.body_padding_left -
-        header_style.body_padding_right -
-        header_style.body_padding_inner*2
-      ) / 2
-
-      # [00:00                           ]
-      @clock = Clock.new(self)
-      @clock.set_width(child_width)
-
-      # [                             69%]
-      @battery = Battery.new(self)
-      @battery.set_width(child_width)
-    end
-  end
-
-  # Extend this to make a "window"
-  class BaseWindow
-    include Singleton
-
-    def initialize()
-      super()
-      # Initializes GUI things if required...
-      GUI.init
-
-      # Preps a basic display
-      @screen = Screen.new()
-      @header = Header.new(@screen)
-      @toolbar = Toolbar.new(@screen)
-      @container = Page.new(@screen)
-    end
-
-    # Switch to this window
-    def present()
-      LVGL::FFI.lv_disp_load_scr(@screen.lv_obj_pointer)
-      on_present
-    end
-
-    def on_present()
-    end
-  end
-end
diff --git a/examples/hello/app/lib/hal.rb b/examples/hello/app/lib/hal.rb
deleted file mode 100644
index ac02e129..00000000
--- a/examples/hello/app/lib/hal.rb
+++ /dev/null
@@ -1,76 +0,0 @@
-module HAL
-  class Battery
-    NODE_BASE = "/sys/class/power_supply"
-    # Guesstimates the main battery for a list of likely candidates
-    def self.main_battery()
-      node = %w{
-        battery
-        bms
-        BAT0
-      }.map { |name| File.join(NODE_BASE, name) }
-        .find { |path| File.exist?(path) }
-
-      if node
-        Battery.new(node)
-      else
-        nil
-      end
-    end
-
-    def initialize(node)
-      @node = node
-    end
-
-    # google-walleye
-    # [nixos@nixos:/sys/class/power_supply]$ cat battery/uevent 
-    # POWER_SUPPLY_NAME=battery
-    # POWER_SUPPLY_INPUT_SUSPEND=0
-    # POWER_SUPPLY_STATUS=Charging
-    # POWER_SUPPLY_HEALTH=Good
-    # POWER_SUPPLY_PRESENT=1
-    # POWER_SUPPLY_CHARGE_TYPE=Fast
-    # POWER_SUPPLY_CAPACITY=56
-    # POWER_SUPPLY_SYSTEM_TEMP_LEVEL=0
-    # POWER_SUPPLY_CHARGER_TEMP=364
-    # POWER_SUPPLY_CHARGER_TEMP_MAX=803
-    # POWER_SUPPLY_INPUT_CURRENT_LIMITED=1
-    # POWER_SUPPLY_VOLTAGE_NOW=3780507
-    # POWER_SUPPLY_VOLTAGE_MAX=4400000
-    # POWER_SUPPLY_VOLTAGE_QNOVO=-22
-    # POWER_SUPPLY_CURRENT_NOW=183105
-    # POWER_SUPPLY_CURRENT_QNOVO=-22
-    # POWER_SUPPLY_CONSTANT_CHARGE_CURRENT_MAX=2700000
-    # POWER_SUPPLY_TEMP=320
-    # POWER_SUPPLY_TECHNOLOGY=Li-ion
-    # POWER_SUPPLY_STEP_CHARGING_ENABLED=0
-    # POWER_SUPPLY_STEP_CHARGING_STEP=-1
-    # POWER_SUPPLY_CHARGE_DISABLE=0
-    # POWER_SUPPLY_CHARGE_DONE=0
-    # POWER_SUPPLY_PARALLEL_DISABLE=0
-    # POWER_SUPPLY_SET_SHIP_MODE=0
-    # POWER_SUPPLY_CHARGE_FULL=2805000
-    # POWER_SUPPLY_DIE_HEALTH=Cool
-    # POWER_SUPPLY_RERUN_AICL=0
-    # POWER_SUPPLY_DP_DM=0
-    # POWER_SUPPLY_CHARGE_COUNTER=1455951
-    # POWER_SUPPLY_CYCLE_COUNT=849
-    def uevent()
-      File.read(File.join(@node, "uevent")).split("\n").map do |line|
-        key, value = line.split("=", 2)
-        [key.downcase.to_sym, value]
-      end.to_h
-    end
-
-    def name()
-      uevent[:power_supply_name] || "unknown"
-    end
-
-    def status()
-      uevent[:power_supply_status] || "unknown"
-    end
-
-    def percent()
-      uevent[:power_supply_capacity] || "unknown"
-    end
-  end
-end
diff --git a/examples/hello/app/lib/windows.rb b/examples/hello/app/lib/windows.rb
deleted file mode 100644
index b6ebba6d..00000000
--- a/examples/hello/app/lib/windows.rb
+++ /dev/null
@@ -1,24 +0,0 @@
-module GUI
-  # Helper methods to help creating a "button palette" kind of window.
-  module ButtonPalette
-    def add_button(label)
-      Button.new(@container).tap do |btn|
-        btn.glue_obj(true)
-        btn.set_label(label)
-        btn.event_handler = ->(event) do
-          case event
-          when LVGL::EVENT::CLICKED
-            yield
-          end
-        end
-      end
-    end
-
-    def add_buttons(list)
-      list.each do |pair|
-        label, action = pair
-        add_button(label, &action)
-      end
-    end
-  end
-end
diff --git a/examples/hello/app/main.rb b/examples/hello/app/main.rb
index 168dd195..a7f40525 100644
--- a/examples/hello/app/main.rb
+++ b/examples/hello/app/main.rb
@@ -1,3 +1,3 @@
 GUI::MainWindow.instance.present
 
-GUI.main_loop
+LVGUI.main_loop
diff --git a/examples/hello/app/windows/about.rb b/examples/hello/app/windows/about.rb
index 77dc17d6..424d1c5b 100644
--- a/examples/hello/app/windows/about.rb
+++ b/examples/hello/app/windows/about.rb
@@ -1,9 +1,9 @@
 module GUI
-  class AboutWindow < BaseWindow
-    include ButtonPalette
+  class AboutWindow < LVGUI::BaseWindow
+    include LVGUI::ButtonPalette
     def initialize()
       super()
-      BackButton.new(@toolbar, MainWindow.instance)
+      LVGUI::BackButton.new(@toolbar, MainWindow.instance)
       @container.refresh
 
       LVGL::LVLabel.new(@container).tap do |label|
diff --git a/examples/hello/app/windows/base_log.rb b/examples/hello/app/windows/base_log.rb
index 78af6902..57e17562 100644
--- a/examples/hello/app/windows/base_log.rb
+++ b/examples/hello/app/windows/base_log.rb
@@ -1,9 +1,9 @@
 module GUI
-  class BaseLogWindow < BaseWindow
-    include ButtonPalette
+  class BaseLogWindow < LVGUI::BaseWindow
+    include LVGUI::ButtonPalette
     def initialize(explanation:)
       super()
-      BackButton.new(@toolbar, MainWindow.instance)
+      LVGUI::BackButton.new(@toolbar, MainWindow.instance)
       @explanation = LVGL::LVLabel.new(@toolbar).tap do |label|
         label.set_long_mode(LVGL::LABEL_LONG::SROLL_CIRC)
         label.set_align(LVGL::LABEL_ALIGN::CENTER)
diff --git a/examples/hello/app/windows/display_validation.rb b/examples/hello/app/windows/display_validation.rb
index c396a28f..81d36eb4 100644
--- a/examples/hello/app/windows/display_validation.rb
+++ b/examples/hello/app/windows/display_validation.rb
@@ -1,9 +1,9 @@
 module GUI
-  class DisplayValidationWindow < BaseWindow
-    include ButtonPalette
+  class DisplayValidationWindow < LVGUI::BaseWindow
+    include LVGUI::ButtonPalette
     def initialize()
       super()
-      BackButton.new(@toolbar, MainWindow.instance)
+      LVGUI::BackButton.new(@toolbar, MainWindow.instance)
       @container.refresh
 
       LVGL::LVLabel.new(@container).tap do |label|
diff --git a/examples/hello/app/windows/main.rb b/examples/hello/app/windows/main.rb
index fd7baf9e..86b93141 100644
--- a/examples/hello/app/windows/main.rb
+++ b/examples/hello/app/windows/main.rb
@@ -1,6 +1,6 @@
 module GUI
-  class MainWindow < BaseWindow
-    include ButtonPalette
+  class MainWindow < LVGUI::BaseWindow
+    include LVGUI::ButtonPalette
     def initialize()
       super()
 
diff --git a/examples/hello/app/windows/quit.rb b/examples/hello/app/windows/quit.rb
index 043f23df..b174d833 100644
--- a/examples/hello/app/windows/quit.rb
+++ b/examples/hello/app/windows/quit.rb
@@ -1,6 +1,6 @@
 module GUI
-  class QuitWindow < BaseWindow
-    include ButtonPalette
+  class QuitWindow < LVGUI::BaseWindow
+    include LVGUI::ButtonPalette
 
     def run(*cmd)
       $stderr.puts " $ " + cmd.join(" ")
@@ -9,7 +9,7 @@ module GUI
 
     def initialize()
       super()
-      BackButton.new(@toolbar, MainWindow.instance)
+      LVGUI::BackButton.new(@toolbar, MainWindow.instance)
       @container.refresh
 
       add_buttons([