Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision fd375a8d1ed315622d230241a9b3227ec34ba99e)
+++ HelenOS.config	(revision 753d8515dfafce94cdf184d68aa5c942525400db)
@@ -176,5 +176,5 @@
 
 % Framebuffer support
-! [(PLATFORM=mips32&MACHINE=lgxemul)|(PLATFORM=mips32&MACHINE=bgxemul)|(PLATFORM=ia32)|(PLATFORM=amd64)|(PLATFORM=arm32)] CONFIG_FB (y/n)
+! [(PLATFORM=mips32&MACHINE=lgxemul)|(PLATFORM=mips32&MACHINE=bgxemul)|(PLATFORM=ia32)|(PLATFORM=amd64)|(PLATFORM=arm32)|(PLATFORM=sparc64&MACHINE=us3)] CONFIG_FB (y/n)
 
 % Framebuffer width
Index: kernel/arch/sparc64/Makefile.inc
===================================================================
--- kernel/arch/sparc64/Makefile.inc	(revision fd375a8d1ed315622d230241a9b3227ec34ba99e)
+++ kernel/arch/sparc64/Makefile.inc	(revision 753d8515dfafce94cdf184d68aa5c942525400db)
@@ -65,5 +65,7 @@
 #
 
-CONFIG_FB = y
+ifeq ($(MACHINE),us)
+	CONFIG_FB = y
+endif
 
 ## Compile with support for Sun keyboard.
@@ -118,8 +120,11 @@
 	arch/$(ARCH)/src/drivers/tick.c \
 	arch/$(ARCH)/src/drivers/kbd.c \
-	arch/$(ARCH)/src/drivers/scr.c \
 	arch/$(ARCH)/src/drivers/sgcn.c \
 	arch/$(ARCH)/src/drivers/pci.c
 
+ifeq ($(CONFIG_FB),y)
+	ARCH_SOURCES += \
+		arch/$(ARCH)/src/drivers/scr.c
+endif
 
 ifeq ($(CONFIG_SMP),y)
Index: kernel/arch/sparc64/src/console.c
===================================================================
--- kernel/arch/sparc64/src/console.c	(revision fd375a8d1ed315622d230241a9b3227ec34ba99e)
+++ kernel/arch/sparc64/src/console.c	(revision 753d8515dfafce94cdf184d68aa5c942525400db)
@@ -70,4 +70,5 @@
 static void standard_console_init(ofw_tree_node_t *aliases)
 {
+#ifdef CONFIG_FB
 	stdin = NULL;
 
@@ -97,4 +98,8 @@
 
 	kbd_init(keyboard);
+#else
+	panic("Standard console requires FB, "
+	      "but the kernel is not compiled with FB support.");
+#endif
 }
 
@@ -176,5 +181,7 @@
 void arch_grab_console(void)
 {
+#ifdef CONFIG_FB
 	scr_redraw();
+#endif
 	switch (kbd_type) {
 #ifdef CONFIG_Z8530
Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision fd375a8d1ed315622d230241a9b3227ec34ba99e)
+++ kernel/generic/src/main/kinit.c	(revision 753d8515dfafce94cdf184d68aa5c942525400db)
@@ -75,5 +75,7 @@
 #define ALIVE_CHARS  4
 
+#ifdef CONFIG_KCONSOLE
 static char alive[ALIVE_CHARS] = "-\\|/";
+#endif
 
 /** Kernel initialization thread.
